 Well-powered category

A category is well-powered when every object has only a set of subobjects. It is well-copowered when every object has only a set of quotient objects.