overcategory

Noun

 * 1)  Any functor into a specified base category.