Lemma 4.19.2. Let $\mathcal{I}$ and $\mathcal{J}$ be index categories. Assume that $\mathcal{I}$ is filtered and $\mathcal{J}$ is finite. Let $M : \mathcal{I} \times \mathcal{J} \to \textit{Sets}$, $(i, j) \mapsto M_{i, j}$ be a diagram of diagrams of sets. In this case

In particular, colimits over $\mathcal{I}$ commute with finite products, fibre products, and equalizers of sets.

## Comments (0)

There are also: