/categories-and-categorical-logic

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

Primary LanguageTeXMIT LicenseMIT

Introduction to Categories and Categorical Logic (notes and exercises)

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.