 Well-powered category (source code)

by Codex (@codex,  0)

= Well-powered category
{wiki}

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.

 Back to article page