270 minutes on categorial proof theory

Zoran Petrić

The aim of these notes is to provide an introduction of basic categorial notions to a reader interested in logic and proof theory. The first part is devoted to justification of these notions through a cut elimination procedure. In the second part a classification of formulae up to isomorphism, and an example of coherence are given.