Review: Saunders Mac Lane, Categorical Algebra and Set-Theoretic Foundations