A rigorous yet approachable treatise on category theory by Saunders Mac Lane, this book unpacks objects, morphisms, functors, natural transformations, limits, colimits, and adjunctions with clear proofs and examples for graduate study.