Lemma 4.8.4. Let $\mathcal{C}$ be a category. Let $F : \mathcal{C}^{opp} \to \textit{Sets}$ be a functor. Assume $\mathcal{C}$ has products of pairs of objects and fibre products. The following are equivalent:

1. the diagonal $\Delta : F \to F \times F$ is representable,

2. for every $U$ in $\mathcal{C}$, and any $\xi \in F(U)$ the map $\xi : h_ U \to F$ is representable,

3. for every pair $U, V$ in $\mathcal{C}$ and any $\xi \in F(U)$, $\xi ' \in F(V)$ the fibre product $h_ U \times _{\xi , F, \xi '} h_ V$ is representable.

Proof. We will continue to use the Yoneda lemma to identify $F(U)$ with transformations $h_ U \to F$ of functors.

Equivalence of (2) and (3). Let $U, \xi , V, \xi '$ be as in (3). Both (2) and (3) tell us exactly that $h_ U \times _{\xi , F, \xi '} h_ V$ is representable; the only difference is that the statement (3) is symmetric in $U$ and $V$ whereas (2) is not.

Assume condition (1). Let $U, \xi , V, \xi '$ be as in (3). Note that $h_ U \times h_ V = h_{U \times V}$ is representable. Denote $\eta : h_{U \times V} \to F \times F$ the map corresponding to the product $\xi \times \xi ' : h_ U \times h_ V \to F \times F$. Then the fibre product $F \times _{\Delta , F \times F, \eta } h_{U \times V}$ is representable by assumption. This means there exist $W \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, morphisms $W \to U$, $W \to V$ and $h_ W \to F$ such that

$\xymatrix{ h_ W \ar[d] \ar[r] & h_ U \times h_ V \ar[d]^{\xi \times \xi '} \\ F \ar[r] & F \times F }$

is cartesian. Using the explicit description of fibre products in Lemma 4.8.1 the reader sees that this implies that $h_ W = h_ U \times _{\xi , F, \xi '} h_ V$ as desired.

Assume the equivalent conditions (2) and (3). Let $U$ be an object of $\mathcal{C}$ and let $(\xi , \xi ') \in (F \times F)(U)$. By (3) the fibre product $h_ U \times _{\xi , F, \xi '} h_ U$ is representable. Choose an object $W$ and an isomorphism $h_ W \to h_ U \times _{\xi , F, \xi '} h_ U$. The two projections $\text{pr}_ i : h_ U \times _{\xi , F, \xi '} h_ U \to h_ U$ correspond to morphisms $p_ i : W \to U$ by Yoneda. Consider $W' = W \times _{(p_1, p_2), U \times U} U$. It is formal to show that $W'$ represents $F \times _{\Delta , F \times F} h_ U$ because

$h_{W'} = h_ W \times _{h_ U \times h_ U} h_ U = (h_ U \times _{\xi , F, \xi '} h_ U) \times _{h_ U \times h_ U} h_ U = F \times _{F \times F} h_ U.$

Thus $\Delta$ is representable and this finishes the proof. $\square$

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