23. The Acyclic Models Theorem

In this lecture we prove the Acyclic Models Theorem, which allows us to construct natural chain homotopies and chain equivalences between free and acyclic functors.

🎉 Congratulations everyone for making it all the way through the course. See you next year!