CatDat

essentially small

A category is essentially small when it is equivalent to a small category. In particular, there is a set of objects such that every object is isomorphic to an object in this set. In contrast to the property of being small, being essentially small is invariant under equivalences of categories.

Relevant implications

Examples

Counterexamples

Unknown

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