The Joy of Abstraction
An Exploration of Math, Category Theory, and Life

‘Eugenia Cheng loves mathematics—not the ordinary sort that most people encounter, but the most abstract sort that she calls ‘the mathematics of mathematics.’ And in this lovely excursion through her abstract world of Category Theory, she aims to give those who are willing to join her a glimpse of that world. The journey will change how they view mathematics. Cheng is a brilliant writer, with prose that feels like poetry. Her contagious enthusiasm makes her the perfect guide.’ John Ewing, President, Math for America

‘Eugenia Cheng's singular contribution is in making abstract mathematics relevant to all through her great ingenuity in developing novel connections between logic and life. Her latest book, The Joy of Abstraction, provides a long awaited fully rigorous yet gentle introduction to the ‘mathematics of mathematics,’ allowing anyone to experience the joy of learning to think categorically.’ Emily Riehl, Johns Hopkins University, author of Category Theory in Context

‘Archimedes is quoted as having said once: ‘Mathematics reveals its secrets only to those who approach it with pure love, for its own beauty.’ In this fascinating book, Eugenia Cheng approaches the abstract mathematical area of Category Theory with pure love, to reveal its beauty to anybody interested in learning something about contemporary mathematics.’ Mario Livio, astrophysicist, author of The Golden Ratio and Brilliant Blunders

'Eugenia Cheng’s latest book will appeal to a remarkably broad and diverse audience, from non-mathematicians who would like to get a sense of what mathematics is really about, to experienced mathematicians who are not category theorists but would like a basic understanding of category theory. Speaking as one of the latter, I found it a real pleasure to be able to read the book without constantly having to stop and puzzle over the details. I have learnt a lot from it already, including what the famous Yoneda lemma is all about, and I look forward to learning more from it in the future.' Sir Timothy Gowers, Collège de France, Fields Medalist, main editor of The Princeton Companion to Mathematics

‘At last: a book that makes category theory as simple as it really is. Cheng explains the subject in a clear and friendly way, in detail, not relying on material that only mathematics majors learn. Category theory – indeed, mathematics as a whole – has been waiting for a book like this.’ John Baez, University of California, Riverside

‘Many people speak derisively of category theory as the most abstract area of mathematics, but Eugenia Cheng succeeds in redeeming the word ‘abstract’. This book is loquacious, conversational, and inviting. Reading this book convinced me I could teach category theory as an introductory course, and that is a real marvel, since it is a subject most people leave for experts.’ Francis Su, Harvey Mudd College, author of Mathematics for Human Flourishing

'Finally, a book about category theory that doesn’t assume you already know category theory! In this inviting but rigorous introduction to what she calls ‘the mathematics of mathematics’, Eugenia Cheng brings the subject to us with insight, wit, and a point of view. Her story of finding joy-and advantage-in abstraction will inspire you to find it, too.' Patrick Honner, award-winning high school math teacher, columnist for Quanta Magazine, author of Painless Statistics

'This higher category theory is the mathematics of the twenty-first century (at least my corner of it). If you’d like a taste of it, I recommend Dr. Cheng’s book. The first half is an accessible and thought-provoking insight into categorical thinking. The second half climbs into the rarified air of theoretic math, but it is worth a read to get a feel for what some parts of modern mathematics look like.' Jonathan Kujawa, 3 Quarks Daily

‘… a successful addition to the literature that I am sure students will use in the future and I would be happy to recommend.’ Constanze Roitzheim, Mathematische Semesterberichte

‘To make category theory accessible to an audience without this preparation is a challenge to which Cheng rises with great enthusiasm and considerable success …’ P. G. MacGregor, The Mathematical Gazette