The Stacks project

Proof. Proof of (1). Suppose $a, b : X \to Y$ with $F(a) = F(b)$. Let $E$ be the equalizer of $a$ and $b$. Then $F(E) = F(X)$ and we see that $E = X$ because $F$ reflects isomorphisms.

Proof of (2). This is true because $F$ turns the morphism $X \to X \times _ Y X$ into the map $F(X) \to F(X) \times _{F(Y)} F(X)$ and $F$ reflects isomorphisms.

Proof of (3). This is true because $F$ turns the morphism $Y \amalg _ X Y \to Y$ into the map $F(Y) \amalg _{F(X)} F(Y) \to F(Y)$ and $F$ reflects isomorphisms.

Proof of (4). There exists an initial object $A$ and certainly $F(A) = \emptyset$. On the other hand, if $X$ is an object with $F(X) = \emptyset$, then the unique map $A \to X$ induces a bijection $F(A) \to F(X)$ and hence $A \to X$ is an isomorphism.

Proof of (5). There exists a final object $Z$ and certainly $F(Z)$ is a singleton. On the other hand, if $X$ is an object with $F(X)$ a singleton, then the unique map $X \to Z$ induces a bijection $F(X) \to F(Z)$ and hence $X \to Z$ is an isomorphism.

Proof of (6). The equalizer $E$ of the two maps $Y \to Y \amalg _ X Y$ is not an initial object of $\mathcal{C}$ because $X \to Y$ factors through $E$ and $F(X) \not= \emptyset$. Hence $E = Y$ and we conclude.

Proof of (7). The equalizer $E$ of $a$ and $b$ comes with a monomorphism $E \to X$ and $F(E) \subset F(X)$ is the set of elements where $F(a)$ and $F(b)$ agree. To finish use that either $E$ is initial or $E = X$.

Proof of (8). For each $i, j$ we see that $E_{ij} = X_ i \times _ Y Y_ j$ is either initial or equal to $X_ i$. Picking $s \in F(X_ i)$ we see that $E_{ij} = X_ i$ if and only if $s$ maps to an element of $F(Y_ j) \subset F(Y)$, hence this happens for a unique $j = \alpha (i)$. $\square$