1 problem

0 votes0 replies0 views
Existence of finite 2-colimits in the category of internal categories
Let $\mathcal{E}$ be an elementary topos with a natural numbers object, and let $\mathbf{Cat}(\mathcal{E})$ denote the 2-category of internal categories in $\mathcal{E}$ . Existence…
Conjectureopen2-categories category-theory internal-categoriesarXiv posted 2 days ago

Existence of finite 2-colimits in the category of internal categories