Wiki
Clone wikipublic / categorical logic
#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.
Updated