Lemma 4.14.11. Let $M : \mathcal{I} \to \mathcal{C}$ be a diagram. Write $I = \mathop{\mathrm{Ob}}\nolimits (\mathcal{I})$ and $A = \text{Arrows}(\mathcal{I})$. Denote $s, t : A \to I$ the source and target maps. Suppose that $\prod _{i \in I} M_ i$ and $\prod _{a \in A} M_{t(a)}$ exist. Suppose that the equalizer of

exists, where the morphisms are determined by their components as follows: $p_ a \circ \psi = M(a) \circ p_{s(a)}$ and $p_ a \circ \phi = p_{t(a)}$. Then this equalizer is the limit of the diagram.

## Comments (1)

Comment #1021 by correction_bot on

There are also: