overcategory

/OW1 V ER0 K AE1 T AH0 G ER0 IY0/
noun
  1. 1

    (category theory) Any functor into a specified base category.