Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.
Natural TransformationsExplores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.
Isomorphism in CategoriesCovers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.
Equivalences of CategoriesExplores examples of natural transformations, equivalence of categories, and adjunction with specific instances involving Un.
Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.