Category Archives: Category theory

Tom Leinster’s Basic Category Theory

I just love the opening two sentences of Tom Leinster’s 2014 introductory book, which still seem about as good a minimal sketch of what category theory is up to as you could hope for: Category theory takes a bird’s eye … Continue reading

Posted in Category theory | Leave a comment

Plural Logic, again

A second, paperback, edition of Plural Logic by Alex Oliver and Timothy Smiley is now out from OUP. As the cover says, it is ‘Revised and Enlarged’ – in fact it is almost fifty pages longer, with some new sections and … Continue reading

Posted in Category theory, Logic | 1 Comment

Category Theory in Context

Congratulations to sometime Cambridge student Emily Riehl, now at Johns Hopkins. Her very illuminating lecture notes, aimed at beginners in category theory (albeit mathematically perhaps rather sophisticated beginners) have become a book, Category Theory in Context, published in a new … Continue reading

Posted in Category theory | Leave a comment

Category theory notes

A reminder and a request. The reminder is for anyone interested in category theory at an introductory level — whether giving a course, or taking a course. There is a page here of links to online notes and freely available articles and … Continue reading

Posted in Category theory | Leave a comment

Progress so gentle as to be hardly perceptible …

Work on the Gentle Intro to Category Theory has been going slowly for a couple of months. I’d got to the point where I needed to backtrack and think through what I wanted to say, in a couple of preliminary chapters, … Continue reading

Posted in Category theory, This and that | 1 Comment

Another categorial week

I’m at rather a troublesome point in putting together the Gentle Introduction. That’s because I really can’t put off any more writing a couple of introductory chapters, one on ‘Structures’ and one on ‘Sets’, to say something first about the very idea of … Continue reading

Posted in Category theory, This and that | 2 Comments

More categorial gentleness …

A new version of the Gentle Introduction to Category Theory (version of Feb 8th, pp. x + 273) is now online. Get it (by preference) from my academia.edu page or alternatively download it from the categories page here. Nearly all the sections from the … Continue reading

Posted in Category theory | 2 Comments

‘But pardon, and gentles all …’

November was a busy month. A wonderful week out in Vienna (not to mention the time out before and after, getting ready and recovering from the excitements!). Reading for the 2016 version of the Teach Yourself Logic guide to be … Continue reading

Posted in Category theory | 5 Comments

Gently into November

I have just put an update for the Gentle Introduction to category theory online. Things have been moving pretty slowly (pressure of other interests, a planned chapter not really working out, spending far too much time revising earlier chapters, etc.); but … Continue reading

Posted in Category theory | 17 Comments

Moving gently on …

I have various time-consuming plans for the next few weeks and  also need to do quite a bit of reading if I’m to put together a decent update for the Teach Yourself Logic guide for 2016. Hence work on revising the category … Continue reading

Posted in Category theory | Leave a comment