Skip to main content
2 of 2
added 98 characters in body; added 11 characters in body
Qfwfq
  • 23.3k
  • 14
  • 122
  • 225

Are there 'cohomology' functors that respect all Eilenberg-Steenrod axioms except homotopy invariance?

What goes wrong in the axiomatic definition of a generalized (co)homology theory if one drops the axiom of homotopy invariance i.e. that homotopic maps should induce the same map in (co)homology?

Or do we have examples? Are there "interesting" or "useful" functors $\mathfrak{h}^{\cdot}:\mathrm{Spaces}\to \mathrm{Ab}$ that respect all Eilenberg-Steenrod axioms except homotopy invariance? Could such an $\mathfrak{h}$ be used to distinguish between two homotopy equivalent non-homeomorphic spaces?

(Take your favourite definition of admissible spaces)

Qfwfq
  • 23.3k
  • 14
  • 122
  • 225