Colimits of internal categories

Abstract

We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the $2$-category $\mathbf{Cat}(\mathcal{E})$ of internal categories, functors and natural transformations has finite $2$-colimits. In addition, $\mathbf{Cat}(\mathcal{E})$ is extensive, has pullbacks and codescent coequalisers are stable under pullback along discrete Conduch\'{e} fibrations. Moreover, we give converse results to this.