Acyclic models theorem

In Algebraic Topology, the Method of Acyclic Models, or Acyclic Models Theorem describes a process by which two homology theories can be shown to be isomorphic. The theorem was developed by topologists Samuel Eilenberg and Saunders MacLane. They discovered that, when topologists were writing proofs to establish equivalence of various homology theories, there were numerous similarities in the processes. Eilenberg and MacLane then discovered the theorem to generalize this process.

=Statement of the Theorem=

Let $mathcal\{K\}$ be an arbitrary category, and $mathcal\{CC\}$ be the category of chain complexes of Abelian groups. Let $F,V\; :\; mathcal\{K\}\; o\; mathcal\{CC\}$ be covariant functors so that $F\_i\; =\; V\_i\; =\; 0$ for .

Assume now that there are $mathcal\{M\}\_k\; subset\; mathcal\{K\}$ for $k\; ge\; 0$ so that $F\_k$ has a basis in $mathcal\{M\}\_k$, so $F$ is a Free functor. Finally, let $V$ be acyclic, which means that $H\_\{k+1\}(V(M))\; =\; 0$ for $M\; in\; mathcal\{M\}\_\{k+1\}\; cup\; mathcal\{M\}\_\{k+2\}$.

Then every natural transformation $varphi\; :\; H\_0(F)\; o\; H\_0(V)$ is induced by a natural chain map $f\; :\; F\; o\; V$. Additionally, $f$ is unique upto natural homotopy. [ Citation | last1=Dold | first1=Albrecht | title=Lectures on Algebraic Topology | publisher=Springer-Verlag | location=Berlin, New York | series=A Series of Comprehensive Studies in Mathematics | isbn= 3-540-10369-4 | edition=2nd | year=1980 | volume=200]

=References=