Philosophers will have come across claims that category theory – or in particular, that division of it which is topos theory – provides a new foundation, or a different sort of foundation, to mathematics, in some sense rivalling set theory in its sweep and generality. So philosophers with foundational interests, and some mathematicians too, may well want to know what the fuss is about. (OK, the cool kids may now think that that ‘homotopy type theory’ is where the foundational action really is: but you will still need to have some background in category theory to understand all that.)
But perhaps ‘foundations’ is the wrong metaphor for category theory. Thus Tom Leinster has written as a two-sentence characterization,
Category theory takes a bird’s eye view of mathematics. From high in the sky, details become invisible, but we can spot patterns that were impossible to detect from ground level.
So this would have category theory organizing mathematics (with sweep and generality, indeed) by finding unifying patterns, but not necessarily by seeing mathematics as reducible to, or embeddable into, or underpinned by, one grand foundational story.
It is too soon to worry about ‘foundations vs unifying overview’, however, before we even see category theory at work! But Leinster’s remark does point up why many philosophers, in particular, might find category theory hard work: for it is indeed often presented against an assumed wide-ranging knowledge of modern mathematics, and by drawing out patterns in a background which philosophers may well lack. But perhaps we can edge our way in.
There is, in fact, a brisk introductory encyclopaedia article notionally addressed to philosophers by Jean-Pierre Marquis, ‘Category Theory’, The Stanford Encyclopedia of Philosophy. But while this is a useful source of pointers forward to different areas of interest, I suspect most beginners won’t be enlightened at all, as this is already pretty abstract (and indeed will probably only reinforce the impression that you need to know a lot of mathematics before you can get to grips with categories — not so). Better to return to this article once you know a little. So where to start?
Entry-level expositions of category theory
Let’s mention three introductory books with different virtues, in something like order of difficulty:
- F. William Lawvere and Stephen H. Schanuel, Conceptual Mathematics: A First Introduction to Categories (CUP 2nd edn. 2009). A genuinely gentle introduction — extraordinarily so at the outset — that slowly introduces you to new categorial ways of thinking about some familiar things. In fact, you might well find the book rather too slow and even a bit condescending (does the likely reader really need to have it explained, at length, over a hundred pages into the book, that if P then Q and if not-Q then not-P are equivalent?). However, such irritations aside, you end up after a remarkably painless journey having learnt rather more than you realize. And the second edition is notably more useful than the first because it adds chapters that ease the transitions to more advanced topics.
Still, many might prefer to start a step up and work through the first hundred or so pages of an older, more conventional book:
- Robert Goldblatt, Topoi: The Categorial Analysis of Logic (North-Holland 1979, very inexpensively reprinted by Dover 2009, and also available online ). Overall, this book (as the title suggests) is angled towards aspects of category theory of particular interest to logicians. It eventually covers a good deal of ground (with the difficulty level then going up accordingly, of course), but for the moment I’m suggesting you start off by just reading the first three chapters which cover much of what you’d pick up from Lawvere and Schanuel in far fewer pages. As mathematical exposition, this still strikes me as first rate. (I’m inclined to say that if you don’t find these opening chapters accessible and intriguing, then category theory is probably not for you. If you do like them, then at some later point you’ll no doubt want to read more of the book.)
- Harold Simmons, An Introduction to Category Theory (CUP, 2011: online version here) is also highly accessible, and introduces more central notions of category theory you won’t find in Lawvere and Schanuel (or indeed in the opening three chapters of Goldblatt): in particular, it is pretty clear sorting the complexities of the notion of adjoint functors. This is written for self-study with a lot of exercises: the online version also provides solutions. It still has as something of the conversational tone of the lecture room, and you could very well find it an engaging and helpful introduction. Try the first five chapters.
Not surprisingly however, I now prefer the following! Also starting from scratch, and at something like the same level of accessibility of Goldblatt’s early chapters and/or Simmons’s book, there is:
- My Category Theory: A Gentle Introduction. This aims to be rather more discursive/explanatory at various points. The coverage eventually goes further than Simmons and in a different direction to Goldblatt. Unfinished, still work in progress, but since I also try to keep the required mathematical background down to a bare minimum, this hopefully will be particularly useful to philosophers and others.
A book which has often been highly recommended for beginners is
- Steve Awodey, Category Theory, Oxford Logic Guides 49 (OUP 2nd end 2010: downloadable version here).
However, a reading group with a few very smart maths students who had already done a category theory course confirmed my impressions this is a very considerably bumpier ride than the author intends (and indeed that was one spur to me writing my own notes). It is too often a bit less than ideally clear, and some of the expositional choices seem to me ill-judged. However, it could work well once you already know some category theory.
But once you’ve got to this point and read some first book, I would recommend going for another book which is again intended for beginners (this time as in beginning graduate students who haven’t previously met category theory but can be assumed to be mathematically competent). This is somewhat tougher, being a bit brisker and more compressed. But I do think that this text is a model of brilliant exposition at its level.
- Tom Leinster, Basic Category Theory (CUP, 2014).
Finally, I should certainly mention a book which is not strictly speaking a general introduction to category theory but it introduces enough category theory for its purposes, and you’ll probably want to read it quite early in your explorations of category theory.
- F. William Lawvere and Robert Rosebrugh, Sets for Mathematics (CUP 2003) presents a different way of thinking about sets, and shows that an approach via category theory can throw new light on familiar territory. However I do find this badly written (philosophers will find too much sloppy talk — you have to read past that).
Some philosophical discussions
The Stanford Encyclopaedia article by Marquis mentioned at the start also has lots of references to philosophical discussions. I hope to add a brief guide to some of the debates soon.
There are also two substantial books which promise some extended philosophical discussions:
- Ralf Krömer, Tool and Object: A History and Philosophy of Category Theory (Birkaüser, 2007)
- Jean-Pierre Marquis, From a Geometrical Point of View: Study of the History and Philosophy of Category Theory (Springer, 2009).
I also plan at some point to write book notes on both, but for the moment I’ll list them without comment. Some of the essays in
- Giandomenico Sica (ed), What is Category Theory? (Polimetrica, 2006)
will also be of interest to philosophers. And the recent
- Elaine Landry (ed), Categories for the Working Philosophy (OUP, 2017)
has articles (of various degrees of accessibility) on aspects of category, pure and applied, of philosophical interest.
Page updated 26 Nov 2019