Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
Covers quotients in abelian groups and the concept of free abelian groups, showing that every abelian group is isomorphic to a quotient of a free abelian group.
