#A Taste of Categorical Logic - Tutorial Notes# by Lars Birkedal and Aleš Bizjak

We give a taste of categorical logic and present selected examples. The choice of examples is guided by the wish to prepare the reader for understanding current research papers on step-indexed models for modular reasoning about concurrent higher-order imperative programming languages.

These tutorial notes are supposed to serve as a companion when reading up on introductory category theory, e.g., as described in Awodey’s book, and are aimed at graduate students in computer science.

PDF