9
$\begingroup$

An object $X$ is a generator of a category $\mathcal{C}$ if the functor $Hom_{\mathcal{C}}(X,\_) : \mathcal{C} \rightarrow Set$ is faithful.

I encountered the notion in the context of Morita-equivalence of rings, but I don't understand what its use is. Why is $X$ called a "generator"? What does it generate?

$\endgroup$
2
  • 1
    $\begingroup$ See these related questions: [1] [2]. $\endgroup$
    – Zhen Lin
    Jun 15, 2014 at 10:08
  • 5
    $\begingroup$ The terminology was "poorly chosen" (Maclane's words). A better name would be "separator" or "discriminator" (my word), because it helps discriminate one morphism from another $\endgroup$
    – magma
    Jun 15, 2014 at 18:51

2 Answers 2

11
$\begingroup$

Generators don't generate the category. This explains why "generator" is an unfortunate terminology. A better one would be "separator". I've seen this suggestion in many places. This makes sense, because every two non-equal morphisms $f,g : A \to B$ may be separated by a morphism $i : X \to A$, i.e. $fi \neq gi$.

However, assume that our category has coproducts. Then, if $A$ is any object, then there is a canonical morphism $\bigoplus_{f \in \hom(X,A)} X \to A$ and this is an epimorphism - exactly because $X$ is a generator. This looks more like a generating set (remember that for example an $R$-module $M$ is generated by a subset $S$ if and only if $\bigoplus_{s \in S} R \to M$ is an epimorphism).

$\endgroup$
2
  • $\begingroup$ I think it is in fact true that if a category is cocomplete then a generator is precisely an object generating it under colimits. Can you confirm? $\endgroup$ Jun 15, 2014 at 16:26
  • 1
    $\begingroup$ It is true for categories with coproducts in which every epimorphism is regular. $\endgroup$ Jun 15, 2014 at 16:29
7
$\begingroup$

While I don't know the actual etymology, I interpret the word "generate" as generating elements of the category.

There is a notion of a "generalized element" of an object: a generalized element of $A$ is simply an arrow with target $A$. This is the "right" notion of element: for example, a morphism $f : A \to B$ is monic if and only if $f(x) = f(y) \implies x=y$ for all generalized elements $x,y$ of $A$.

However, allowing arbitrary objects as domains of a generalized element is unwieldy. $X$ is a generator if the class of generalized elements with domain $X$ has "enough" elements.

In the element language, $X$ is a generator is the same thing as saying that, for $f,g : A \to B$, $\left(\forall x: f(x) = g(x)\right) \implies f = g$ when $x$ ranges over all generalized elements of $A$ that come from $X$.

You can even think of replacing an object with its class of generalized elements... or just the class of generalized elements with domain $X$. This is actually the functor $\hom(X, -)$.

$X$ is a generator if and only if the functor $\hom(X, -)$ is faithful. We can think of this as saying that $X$ generates enough elements of the category to faithfully represent its structure.

(note that you can consider a whole class of objects rather than just a single object)

As a counterexample, $\mathbf{F}_p[x]$ doesn't generate $\mathbf{CRng}$: the image of $\hom(\mathbf{F}_p[x], -)$ is faithful on the subcategory of $\mathbf{F}_p$-algebras, but it collapses all other rings into the empty set.

$\endgroup$
2
  • $\begingroup$ In the last paragraph, what is the subcategory generated by an object? Notice that $R$ is not a generator in the category of $R$-algebras. Initial objects are "never" generators. $\endgroup$ Jun 15, 2014 at 10:27
  • $\begingroup$ @Martin: Oh right, I meant $\mathbf{F}_p[x]$. $\endgroup$
    – user14972
    Jun 15, 2014 at 11:24

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .