Lemma 4.31.13. Let $\mathcal{A} \to \mathcal{C}$, $\mathcal{B} \to \mathcal{C}$ and $\mathcal{C} \to \mathcal{D}$ be functors between categories. Then the diagram

$\xymatrix{ \mathcal{A} \times _\mathcal {C} \mathcal{B} \ar[d] \ar[r] & \mathcal{A} \times _\mathcal {D} \mathcal{B} \ar[d] \\ \mathcal{C} \ar[r]^-{\Delta _{\mathcal{C}/\mathcal{D}}} \ar[r] & \mathcal{C} \times _\mathcal {D} \mathcal{C} }$

is a $2$-fibre product diagram.

Proof. Omitted. $\square$

There are also:

• 3 comment(s) on Section 4.31: 2-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).