Lemma 4.6.5. Let $\mathcal{C}$ be a category. Let $f : x \to y$, and $g : y \to z$ be representable. Then $g \circ f : x \to z$ is representable.

Proof. Omitted. $\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).