Lemma 14.6.2. If $U$ and $V$ are simplicial objects in the category $\mathcal{C}$, and if $U \times V$ exists, then we have

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

for any third simplicial object $W$ of $\mathcal{C}$.

## Comments (0)