Definition 4.6.4. A morphism $f : x \to y$ of a category $\mathcal{C}$ is said to be representable if for every morphism $z \to y$ in $\mathcal{C}$ the fibre product $x \times _ y z$ exists.

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