overcone

/OW1 V ER0 K OW1 N IY0/
noun
  1. 1

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