overcone
Meaning
- noun A morphism from a diagonal overfunctor to the base category of the overcategory.
Similar words
overfunctor overcategory cofunctor diagonal morphism profunctor contravariant functor functor inverse universal morphism full functor
Save “overcone” to learn later