overcone

Noun

 * 1)  A morphism from a diagonal overfunctor to the base category of the overcategory.