Lemma 4.6.6. Let $\mathcal{C}$ be a category. Let $f : x \to y$ be representable. Let $y' \to y$ be a morphism of $\mathcal{C}$. Then the morphism $x' := x \times _ y y' \to y'$ is representable also.

Proof. Let $z \to y'$ be a morphism. The fibre product $x' \times _{y'} z$ is supposed to represent the functor

\begin{eqnarray*} w & \mapsto & h_{x'}(w)\times _{h_{y'}(w)} h_ z(w) \\ & = & (h_ x(w) \times _{h_ y(w)} h_{y'}(w)) \times _{h_{y'}(w)} h_ z(w) \\ & = & h_ x(w) \times _{h_ y(w)} h_ z(w) \end{eqnarray*}

which is representable by assumption. $\square$

There are also:

• 4 comment(s) on Section 4.6: Fibre products

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