What is an example of a functor from the category of topological space to the category of groups which satisfy all conditions of cohomology theory but the homotopy invariance would be reduced to the following weaker condition:
Two homotopic maps induce conjugate morphism(rather than equal morphisms)