CatDat

Implication Details

Assumptions: epi-regular, regular, well-powered

Conclusions: well-copowered

Reason: The regularity condition gives a bijection between the collection of quotients of $X$ and the collection of effective congruences on $X$, where the latter is a subcollection of the collection of subobjects of $X\times X$.