Category Archives: Category theory

Notes on Category Theory v.4

I wasn’t able to do much work in January for family reasons, but levels of concentration and energy are returning. So, much later than I’d hoped, here at last is an updated version of the Notes on Category Theory (still very partial … Continue reading

Posted in Category theory | 2 Comments

What is the category Set?

We all know that we quickly encounter issues of size when we start category theory. Categories, we are told, are collections of objects and morphisms satisfying certain axioms. But we very soon meet, among our very first examples of categories, categories like … Continue reading

Posted in Category theory | 4 Comments

Category Theory 2015

My main logical resolution for 2015 is to get to know quite a bit more category theory. Well, it’s fun, I find it aesthetically very appealing, there are some super-smart category theory people here in Cambridge — and there seem … Continue reading

Posted in Category theory | 4 Comments

Philosophical remnants/Notes on Category Theory v.3

So, over the last months, quite a few more large boxes of books have gone to Oxfam. I have kept almost all my logic books. But in three years I must have given away some three quarters of my philosophy books. Very largely … Continue reading

Posted in Academic life, Books, Category theory | Leave a comment

Notes on Category Theory, (partial) version #2

After a bit of a gap, I’ve been able to get back to writing up my notes. The current instalment of the notes (61 pp.) corrects some typos in the first six chapters — and it is those needed corrections … Continue reading

Posted in Category theory, Logic | 1 Comment

Notes on Category Theory, (partial) version #1

As I said in my last post, I’ve been following some lectures on category theory since the beginning of term. The only way of really nailing this stuff down is to write yourself some notes, work through the proofs, etc. Which I’ve been … Continue reading

Posted in Category theory | 1 Comment