1 citations · 1 across the 9 of their papers we have counts for
1 paper · 2 filters
Kristóf Kanalas
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category Coh∼…