Noun
overcategory (plural overcategories) (category theory) Any functor into a specified base category.