Origin: Germanic Old English prefix
Definition, synonyms and related words
A morphism from a diagonal overfunctor to the base category of the overcategory.