The Dold-Kan Correspondence
Fourth year MMath project on the Dold-Kan correspondence, exploring and explaining the equivalence of categories, and moreover the Quillen Equivalence between simplicial abelian groups and non-negatively graded chain complexes of abelian groups.
Download here