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.