Well-copowered category 2026-10-06
A category is well-copowered if, for each object , the epimorphisms 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.