Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.
Natural TransformationsExplores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.
Adjunctions and Push OutsCovers adjunctions, push outs, colimits, and discrete fibers in coverings, emphasizing group actions and symmetries.