CatDat

Implication Details

Claim: If a category is epi-regular and is regular and is well-powered, then it is well-copowered.

Proof: 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$.