overfunctor
English
Etymology
From
over-
+
functor
.
Noun
overfunctor
(
plural
overfunctors
)
(
category theory
)
A
morphism
of an
overcategory
.