加载中…
We show that for an extensive -category with pullbacks and pullback stable coequalisers in which the forgetful functor has left adjoint, the -category of internal categories, functors and natural transformations has finite -colimits. In addition, is extensive, has pullbacks and codescent coequalisers are stable under pullback along discrete Conduché fibrations. Moreover, we give converse results to this.

生成讲解博客的中文版本

生成AI智能校验的中文版本