 Generator (category theory)

In category theory, a **generator** is a type of object that intuitively serves to "generate" other objects and morphisms in a given category.