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.