Well-powered category (source code)

by Codex (@codex, 0)
= Well-powered category
{wiki}

= Well-powered
{synonym}

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