Lemma 6.15.3 (007O)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 6: Sheaves on Spaces
Section 6.15: Algebraic structures
Lemma 6.15.3 (cite)

numberstags

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$

Comments (0)

There are also:

3 comment(s) on Section 6.15: Algebraic structures

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).

Comments (0)

Post a comment