oswaldxia / categories-and-categorical-logic Goto Github PK
View Code? Open in Web Editor NEWThis project forked from vishallama/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.
License: MIT License