We show that if h is a nice
(e.g. representable) homology functor and G is an Abelian group, then there is a
cohomology functor k(X;G) which is a “quasi-functor” of G and a short exact
sequence
which is natural in X, “strongly quasi-natural” in G, and split if two additional
conditions are satisfied.