Logic and Category Theory

Since I’m hanging out with a bunch of category theorists every Wednesday, web finds with “category theory” in them keep attracting my attention. A couple of weeks ago, I came across this book draft posted on arXiv:

Atish Bagchi and Charles Wells, Graph-based Logic and Sketches

At first I thought, cool!, a new book on logic of diagrams or something. But then I read the abstract and intro, and it’s of course not about that at all. A sketch is a certain kind of graph that lets you define mathematical structures categorically. They were introduced by Charles Ehresmann. I’d links to an introduction on the web, but the only introductory thing I could find is a short paper by Wells. (The MacTutor biography of Ehresmann doesn’t even mention sketches…) So: still cool, but a lot harder for me to understand.

The other item was

Michael A. Shulman, Set theory for category theory

which ‘summarizes and compares a number of set-theoretic foundations for category theory, and describes their implications for the everyday use of category theory.’ More elementary, and I look forward to reading it. Alas, I don’t know when I’ll find the time.

One thought on “Logic and Category Theory

  1. I was just reading the Shulman paper a number of hours ago! I got as far as footnote 2 on page 4 and then my mind wandered to thinking of famous people with double barrel names, and who might have stuff called after them…

Leave a Reply

Your email address will not be published. Required fields are marked *