overfunctor

Noun

 * 1)  A morphism of an overcategory.