Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as oppos

This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via qu

Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theo

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid