Monthly Archives: May 2015

Postcard from Cornwall

  We have been in Cornwall for a fortnight. Saint Mawes, since you asked. Much to be recommended for riposo totale. We have already booked to return to the same place next year. Now I’m back, this blog will splutter into life again. Though I’ve just … Continue reading

Posted in This and that | Leave a comment

Notes on Category Theory v.6a

A number of people have very kindly sent corrections to the last version of Notes on Category Theory. There were some possibly confusing typos and also a downright wrong proof. Embarrassing. So here’s a “maintenance upgrade”, making some needed repairs. [Added: a … Continue reading

Posted in Category theory | 6 Comments

The Open Logic Text

As you will very probably have already seen, The Open Logic Project (a team of serious and good people) has now made available an early public version of an open-source collaborative logic text, somewhat ploddingly called the Open Logic Text.  There are two … Continue reading

Posted in Books, Geek stuff, Logic | 11 Comments

Notes on Category Theory v.6

Here is an updated version of my on-going Notes on Category Theory, now over 150 pp. long. I have added three new chapters, at last getting round to the high point of any introduction to category theory, i.e. the discussion of adjunctions. … Continue reading

Posted in Category theory | 10 Comments