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.
Morphisms of CoveringsCovers the concept of morphisms of coverings and emphasizes the recognition of automorphisms.
Isomorphism in CategoriesCovers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.
Introduction to CoproductsIntroduces coproducts in category theory, exploring their properties, universality, and relationships with products.
