Internal Categories, Internal Groupoids and Models of Type Theory
Internal Categories, Internal Groupoids and Models of Type Theory
Download here
Portfolio
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
The Elementary Theory of the 2-category of Small Categories
The elementary theory of the 2-category of small categories
Download here