In mathematics, specifically category theory, a family of generators (or family of separators) of a category
If the collection consists of a single object
, we say it is a generator (or separator).
Generators are central to the definition of Grothendieck categories.
The dual concept is called a cogenerator or coseparator.
This category theory-related article is a stub.
You can help Wikipedia by expanding it.