There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category *\mathbf{Coh_{\sim}}* (of small coherent categories, coherent functors and all natural isomorphisms) is of logical interest. We prove that this category admits all small 2-limits and 2-colimits (in the (*\infty *,1)-categorical sense),... Show more

April 27, 2021

Loading full text...

Similar articles

Loading recommendations...

x1

The (2,1)-category of small coherent categories

Click on play to start listening