Well-copowered category
= Well-copowered category
A category is well-copowered if, for each object $C$, the <epimorphisms> $C\to Q$ have only a <set> of equivalence classes, where two are equivalent through an <isomorphism> of their codomains compatible with the quotient maps. Equivalently, its <opposite category> is <well-powered>.