CatDat

Implication Details

Assumptions: countable products, equalizers

Conclusions: sequential limits

Reason: See Mac Lane, V.2, Prop. 3. The proof can easily be adapted to this case. Namely, the limit of $\cdots \to X_2 \to X_1 \to X_0$ is the equalizer of two suitable endomorphisms of $\prod_{n \geq 0} X_n$.