Theory: AdjunctionsIntroduces adjunctions between categories, emphasizing equivalence and natural transformations.
Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.