In this section we mildly formalize the notions we have encountered in the sections above.
Definition 6.15.1. A type of algebraic structure is given by a category $\mathcal{C}$ and a functor $F : \mathcal{C} \to \textit{Sets}$ with the following properties
$F$ is faithful,
$\mathcal{C}$ has limits and $F$ commutes with limits,
$\mathcal{C}$ has filtered colimits and $F$ commutes with them, and
$F$ reflects isomorphisms.
We make this definition to point out the properties we will use in a number of arguments below. But we will not actually study this notion in any great detail, since we are prohibited from studying “big” categories by convention, except for those listed in Categories, Remark 4.2.2. Among those the following have the required properties.
Lemma 6.15.2. The following categories, endowed with the obvious forgetful functor, define types of algebraic structures:
The category of pointed sets.
The category of abelian groups.
The category of groups.
The category of monoids.
The category of rings.
The category of $R$-modules for a fixed ring $R$.
The category of Lie algebras over a fixed field.
Proof. Omitted. $\square$
From now on we will think of a (pre)sheaf of algebraic structures and their stalks, in terms of the underlying (pre)sheaf of sets. This is allowable by Lemmas 6.9.2 and 6.13.1.
In the rest of this section we point out some results on algebraic structures that will be useful in the future.
Lemma 6.15.3. Let $(\mathcal{C}, F)$ be a type of algebraic structure.
$\mathcal{C}$ has a final object $0$ and $F(0) = \{ * \} $.
$\mathcal{C}$ has products and $F(\prod A_ i) = \prod F(A_ i)$.
$\mathcal{C}$ has fibre products and $F(A \times _ B C) = F(A)\times _{F(B)}F(C)$.
$\mathcal{C}$ has equalizers, and if $E \to A$ is the equalizer of $a, b : A \to B$, then $F(E) \to F(A)$ is the equalizer of $F(a), F(b) : F(A) \to F(B)$.
$A \to B$ is a monomorphism if and only if $F(A) \to F(B)$ is injective.
if $F(a) : F(A) \to F(B)$ is surjective, then $a$ is an epimorphism.
given $A_1 \to A_2 \to A_3 \to \ldots $, then $\mathop{\mathrm{colim}}\nolimits A_ i$ exists and $F(\mathop{\mathrm{colim}}\nolimits A_ i) = \mathop{\mathrm{colim}}\nolimits F(A_ i)$, and more generally for any filtered colimit.
Proof. Omitted. The only interesting statement is (5) which follows because $A \to B$ is a monomorphism if and only if $A \to A \times _ B A$ is an isomorphism, and then applying the fact that $F$ reflects isomorphisms. $\square$
Lemma 6.15.4. Let $(\mathcal{C}, F)$ be a type of algebraic structure. Suppose that $A, B, C \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Let $f : A \to B$ and $g : C \to B$ be morphisms of $\mathcal{C}$. If $F(g)$ is injective, and $\mathop{\mathrm{Im}}(F(f)) \subset \mathop{\mathrm{Im}}(F(g))$, then $f$ factors as $f = g \circ t$ for some morphism $t : A \to C$.
Proof. Consider $A \times _ B C$. The assumptions imply that $F(A \times _ B C) = F(A) \times _{F(B)} F(C) = F(A)$. Hence $A = A \times _ B C$ because $F$ reflects isomorphisms. The result follows. $\square$
Example 6.15.5. The lemma will be applied often to the following situation. Suppose that we have a diagram in $\mathcal{C}$. Suppose $C \to D$ is injective on underlying sets, and suppose that the composition $A \to B \to D$ has image on underlying sets in the image of $C \to D$. Then we get a commutative diagram in $\mathcal{C}$.
\[ \xymatrix{ A \ar[r] & B \ar[d] \\ C \ar[r] & D } \]
\[ \xymatrix{ A \ar[r] \ar[d] & B \ar[d] \\ C \ar[r] & D } \]
Example 6.15.6. Let $F : \mathcal{C} \to \textit{Sets}$ be a type of algebraic structures. Let $X$ be a topological space. Suppose that for every $x \in X$ we are given an object $A_ x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Consider the presheaf $\Pi $ with values in $\mathcal{C}$ on $X$ defined by the rule $\Pi (U) = \prod _{x \in U} A_ x$ (with obvious restriction mappings). Note that the associated presheaf of sets $U \mapsto F(\Pi (U)) = \prod _{x \in U} F(A_ x)$ is a sheaf by Example 6.7.5. Hence $\Pi $ is a sheaf of algebraic structures of type $(\mathcal{C} , F)$. This gives many examples of sheaves of abelian groups, groups, rings, etc.
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #4998 by Chris Li on
Comment #4999 by Johan on