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