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

"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particula

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory