The Stacks project

Definition 4.6.1. Let $x, y, z\in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, $f\in \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(x, y)$ and $g\in \mathop{\mathrm{Mor}}\nolimits _{\mathcal C}(z, y)$. A fibre product of $f$ and $g$ is an object $x \times _ y z\in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ together with morphisms $p \in \mathop{\mathrm{Mor}}\nolimits _{\mathcal C}(x \times _ y z, x)$ and $q \in \mathop{\mathrm{Mor}}\nolimits _{\mathcal C}(x \times _ y z, z)$ making the diagram

commute, and such that the following universal property holds: for any $w\in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and morphisms $\alpha \in \mathop{\mathrm{Mor}}\nolimits _{\mathcal C}(w, x)$ and $\beta \in \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(w, z)$ with $f \circ \alpha = g \circ \beta $ there is a unique $\gamma \in \mathop{\mathrm{Mor}}\nolimits _{\mathcal C}(w, x \times _ y z)$ making the diagram

commute.