Theory: AdjunctionsIntroduces adjunctions between categories, emphasizing equivalence and natural transformations.
Natural TransformationsExplores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.
Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.
Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.