CatDat

well-powered

A category is well-powered if the collection of subobjects of any object is isomorphic to a set.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.