**Introduction**

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) is also highly accessible, and introduces some 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 in sorting the complexities of the notion of adjoint functors. This is written for self-study with a lot of exercises (there was an online version which also provided 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**.*

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: Notes towards 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.

What next, once you’ve tackled some first book? Here is another book which is again intended for relative 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 quite 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).

Maybe at some point I’ll write book notes on both, but for the moment I’ll list them just with the comment that neither is easy! 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.

Back to the main category theory page

*Page updated 12 Nov 2022*

AbelThanks a lot! I have in particular similar feeling as you on Goldblatt’s.

I am not sure if it is best to post here, but I recently find “Sets, Logic and Categories” by Peter J. Cameron. And it seems a good intro. to both math. logic and categories.

It would be greatly helpful to know your ideas on this book. Thanks again.

David P EllermanHere is another recent paper of mine on category theory and philosophy. https://www.ellerman.org/how-category-theory-works/

Joseph TanegaMany thanks for your recommendations above which I wholly agree. I’d add Bartosz Milewski’s site on category theory. His notes and videos are wonderfully approachable. I’d say a compendium of maxims and diagrams common to Lawvere & Schanuel (identities and systems), Goldblatt (through chapter 3), Simmons (especially adjunctions) arranged in a kind of “parrallel translation” with diagrams on the left side and narrative on the right side, would be helpful as a digest (a kind of Rosetta Stone). I found Marquis’ book much more exciting and integrative than Kromer’s. It’s too bad Marquis book is so expensive! Marquis sees the big picture, Kromer would like us to connect certain scholarly controversies and the questions he asks at the end are not so big. I’m working on trying connect category theory to law and finance. kind regards.

samuel sayagMany thanks for this so useful and readable site !

A little correction, you wrote: “F. William Lawvere and Robert Rosebrugh, Sets for Mathematicians (CUP 2003)”

… and the title is just:

“SETS FOR MATHEMATICS”

Have a good day !

joseph tanegaMany thanks for the list! I agree with your choices. I’m not trained in maths but have read L&S, Simmons and Goldblatt’s 4 chapters and about half of L&R. Awodey’s lectures on youtube are excellent. Marquis book made me wonder a lot, eg, “presentation invariance” (somewhere past page 200) might be used a lot outside of maths per se…i’m trying to work my way through Robert Harper’s “Computational Trinitarianism” where CT I suppose plays the part of the Holy Ghost. I think once we get use to transposing type theory verbal statements into category theory diagrams and vice versa, we get a scientific foundation for any object field of relations. My lazy work is to find something some way of laying a TypeCat foundation for law and finance. Anyway, many, many thanks for your notes!