Homotopy-invariant functor

Definition

A functor from the category of topological spaces with continuous maps is said to be homotopy-invariant if given two homotopic continuous maps, they both induce the same functor.

A homotopy-invariant functor thus descends to a functor from the homotopy category.