Support of an object in a regular category

ID: support-of-an-object-in-a-regular-category

The support of an object in a regular category is the subterminal object appearing as the image of a morphism in a regular category of . A regular functor preserves this construction. In the Category of sets, the support is the empty set if is empty and a singleton otherwise.

New to topics? Read the docs here!