27 citations · 47 across the 17 of their papers we have counts for
1 paper · 1 filter
Samson Abramsky, Nikos Tzevelekos
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture cours…