In mathematics, more specifically category theory, a generator (otherwise known as a separator), or generating family (resp. separating family) is a collection of objects that "see enough" of the category that their perspective is enough to determine the morphisms in the category.
Definition A family G {\displaystyle {\mathcal {G}}} of objects in a category C {\displaystyle C} is called a generating family if for every pair of morphisms f , g : A → B {\displaystyle f,g\colon A\to B} with f ≠ g {\displaystyle f\neq g} there is an object G ∈ G {\displaystyle G\in {\mathcal {G}}} and morphism e : G → A {\displaystyle e\colon G\to A} witnessing the difference, that is f ∘ e ≠ g ∘ e {\displaystyle f\circ e\neq g\circ e} . If this family is a single object G = { G } {\displaystyle {\mathcal {G}}=\{G\}} we say that G {\displaystyle G} is a generator. Note that this definition then reduces to saying that the functor Hom ( G , − ) : C → Set {\displaystyle {\text{Hom}}(G,-)\colon C\to {\textbf {Set}}} is faithful. The dual of this structure is then referred to as a cogenerator/cogenerating family.
Characterisations Some older texts may use a different definition by Grothendieck. When he was developing his theory of Grothendieck Categories he used a definition in terms of being able to use G {\displaystyle {\mathcal {G}}} to determine subobjects. However these definitions coincide for many practical applications in particular when working in a topos. The usage of the word "generator" evokes the idea that we can generate the category using these objects. This is true in the following sense. If our category is locally small with all small coproducts then a set G {\displaystyle {\mathcal {G}}} is generating if and only if the map
∐ g i ∈ G , f : g i → X g i → X {\displaystyle \coprod _{g_{i}\in {\mathcal {G}},f\colon g_{i}\to X}g_{i}\to X}
That acts as f on the part of the coproduct with index f, is an epimorphism. This shows that G {\displaystyle {\mathcal {G}}} is generating if and only if every object X admits an epimorphism from some coproduct of elements of G {\displaystyle {\mathcal {G}}}
If, in addition, every epimorphism in our category is regular this means that every object of our category is generated by colimits of objects in G {\displaystyle {\mathcal {G}}} . This is the case in an Abelian category for example.
Projective Generators Projective generators (and their dual injective cogenerators) are often very powerful tools to have when doing algebra in a category. For example, if an abelian category has small coproducts and a compact projective generator P then it is in fact equivalent to the category of modules over the ring End ( P ) o p {\displaystyle {\text{End}}(P)^{op}} . This is then used to prove Mitchell's embedding theorem. This fact is generally useful as compactness, projectiveness and being a generating family are stable under reasonable sums and taking summands so many categories that aren't equivalent to R-mod can be approximated by R-mod for some R by limiting the "size" of objects and taking the sum of all the "smaller" projective generators Using the characterisation in terms of projections from coproducts, having a family of projective generators along with the existence of coproducts guarantees the category has "enough projectives". If we have a category with an injective cogenerator I {\displaystyle I} taking the "dualising" functor Hom ( − , I ) {\displaystyle {\text{Hom}}(-,I)} is faithful and has other desirable properties coming from the injectivity. Taking I {\displaystyle I} to be Q / Z {\displaystyle \mathbb {Q} /\mathbb {Z} } we get the idea of a Character module, a concept useful for studying modules over arbitrary rings, Similarly taking I {\displaystyle I} to be the Circle group we obtain the theory of Pontryagin duality
… excerpt ends here. Continue reading the full article.
