### Pages

### Posts feed

### Archives

### Recent Comments

- André Gargoura on Raymond Smullyan (1919–2017)
- Peter Smith on Raymond Smullyan (1919–2017)
- Kai von Fintel on Conditionals again
- Jan von Plato on Raymond Smullyan (1919–2017)
- Jon Awbrey on Frege on “if”

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- Now just cross that I was enticed to squander an hour on such a third-rate farrago. #lineofduty, Mar 26
- Oh well, that became unwatchably ridiculous self-parody. Pity. #Lineofduty, Mar 26
- You wouldn’t think that (re)writing a page in an intro logic text would turn into a three-espresso problem. But there it is …, Mar 25
- That annoying thing where you realize, writing Ch. 19, that how you handled something crucial in Ch. 2 Really Won’t Do. Yes, THAT thing., Mar 21
- Yes! @BeatriceRana’s new Goldberg Variations CD is pretty terrific. https://t.co/adYmFbPQ7G, Mar 21

# 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