8 citations · 45 across the 26 of their papers we have counts for
1 paper · 1 filter
Ivan Di Liberti, Lingyuan Ye
We use Kan injectivity to axiomatise concepts in the 2-category of topoi. We showcase the expressivity of this language through many examples, and we establish some aspects of the…