Concrete CategoriesCovers concrete categories with sets and structures, including Ens, Gr, Ab, and Vectk.
Homotopy LiftingExplains homotopy lifting, paths, proofs, constant paths, discrete spaces, and monomorphisms.
Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.
CategoriesIntroduces categories as collections of objects with morphisms and identity morphisms.
Morphisms of CoveringsCovers the concept of morphisms of coverings and emphasizes the recognition of automorphisms.
Morphism of GroupsCovers the concept of morphism of groups, actions on sets, and automorphisms.
