overcategory (category + over-; above_excessive)
Any functor into a specified base category