Oh thanks, I will take a look. I’ve read some of John Baez’s things but mostly on mathematical physics, which was my undergrad. I didn’t know he’d written on category theory.

I think he and Joan Baez are actually first cousins!