### Pages

### Posts feed

### Archives

### Recent Comments

- Martin Cooke on Names and quantifiers
- Tyler on Symbol for assignment of a truth-value?
- David Makinson on Names and quantifiers
- Peter Smith on Names and quantifiers
- Mike on Names and quantifiers

### Logic/Maths blogs

### Musicians' sites

### Some other blogs

### Last Tweets

- OK — In Logic 101, what would *you* say about names and quantifiers in English vs FOL? https://t.co/Q7MgNPOpse, Feb 24
- RT @LewyLib: #OnThisDay in 1903, Frank Plumpton Ramsey, the Cambridge philosopher, mathematician and economist and close friend… https://t.co/k8LkiqjzCv, Feb 22
- Just a reminder, LaTeX (not just) For Logicians has its own direct url: https://t.co/OCO2zdDxpy Spread the word! #LaTeX #Tex, Feb 21
- The Pavel Haas Quartet and friends obviously not enjoying themselves at all https://t.co/k4zl4Cz10l, Feb 20
- RT @Scruton_Quotes: "When I think of Schubert's death, and lament that he did not live to the age of Mozart, I think of the love that h… https://t.co/C9i5vBgDXY, Feb 20

# Category Archives: Category theory

## Notes on Category Theory v.5

Here is an updated version of my on-going Notes on Category Theory, now 130 pp. long. I have done an amount of revision/clarification of earlier chapters, and added two new chapters — inserting a new Ch. 7 on categories of categories and issues … Continue reading

Posted in Category theory
Leave a comment

## Category theory again

The category theory page here has been much expanded with links to (i) some online lecture notes, and (ii) some books which are freely (and legitimately!) available online in one form or another. I am not at all aiming to … Continue reading

Posted in Category theory
Leave a comment

## 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