The Joy of Abstraction

From a strictly philosophical perspective, the emergence of category theory as a unifying paradigm rivaling set theory is probably the most important development in mathematics in the last half-century.

But for philosophers without a lot of mathematical background, learning even its rudiments can be daunting. Among many introductory texts (Lawvere and Schanuel, Awodey, Riehl, Spivak), Cheng’s book stands out as perhaps the friendliest and most accessible.

She does not forego rigor, but she isn’t afraid to put aside precise formalism when necessary for intuition and clearer understanding. Her book takes the reader from mathematical beginnings through category theory’s core constructions… show more.