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