Proposition [efr-ZPPJ]

Let \mathcal {C} be any category with finite limits, and consider the full subcategory of \mathsf {Cat}(\mathcal {C}) spanned by those internal categories where \mathbb {C}_0 is terminal. This is equivalent to the category of internal monoids in \mathcal {C}.