Noun
overcone (plural overcones) (mathematics) A morphism from a diagonal overfunctor to the base category of the overcategory.