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.
Articles by others on the same topic
There are currently no matching articles.