Well-copowered category

ID: well-copowered-category

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.

New to topics? Read the docs here!