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!