Lemma 4.31.8. Let

\[ \xymatrix{ \mathcal{A} \ar[rd] & & \mathcal{C} \ar[ld] \ar[rd] & & \mathcal{E} \ar[ld] \\ & \mathcal{B} & & \mathcal{D} } \]

be a diagram of categories and functors. Then there is a canonical isomorphism

\[ (\mathcal{A} \times _\mathcal {B} \mathcal{C}) \times _\mathcal {D} \mathcal{E} \cong \mathcal{A} \times _\mathcal {B} (\mathcal{C} \times _\mathcal {D} \mathcal{E}) \]

of categories.

## Comments (0)

There are also: