Lemma 14.7.2. If $U, V, W$ are simplicial objects in the category $\mathcal{C}$, and if $a : V \to U$, $b : W \to U$ are morphisms and if $V \times _ U W$ exists, then we have

\[ \mathop{\mathrm{Mor}}\nolimits (T, V \times _ U W) = \mathop{\mathrm{Mor}}\nolimits (T, V) \times _{\mathop{\mathrm{Mor}}\nolimits (T, U)} \mathop{\mathrm{Mor}}\nolimits (T, W) \]

for any fourth simplicial object $T$ of $\mathcal{C}$.

## Comments (1)

Comment #1012 by correction_bot on