### New Structures for Physics I

#### Posted by John Baez

*guest post by Bob Coecke*

Following John’s great idea for having a public review here at the café of his and Mike Stay’s chapter for the *New Structures for Physics* volume(s) which I am editing, which happened here and here, John had the even better idea to have several chapters for these
volumes reviewed here at the café.

I will submit them in pairs as guest posts. The ones we start with are two papers which, together with John and Mike’s, make up an ABC on category theory and monoidal categories and categorical logic in particular.

These chapters are:

- Samson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic.
- Bob Coecke and Eric Oliver Paquette, Categories for the practicing physicist.

The first one is the lecture notes of Abramsky’s category theory course here at Oxford, including exercises, intended for mathematicians and computer scientists. The other one has physicists, and in particular, quantum informaticians, as its target audience.

Any kind of feed-back is most welcome!

## Re: New Structures for Physics I

Thie a typo-level criticism: the title on top of every page of “introduction to categories and categorical logic” is “Contents”. This was presumably set up in the table of contents, and never changed thereafter.