421 citations · 1.5k across the 77 of their papers we have counts for
1 paper · 2 filters
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…