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.