overcategory

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

over- +‎ category

Noun[edit]

overcategory (plural overcategories)

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