English

edit

Etymology

edit

over- +‎ category

Noun

edit

overcategory (plural overcategories)

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