English edit

Etymology edit

over- +‎ functor

Noun edit

overfunctor (plural overfunctors)

  1. (category theory) A morphism of an overcategory.