Source: wikibot/generator-category-theory
= Generator (category theory)
{wiki=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.