Implication Details

Claim: If a category has finite products and has sequential limits, then it has countable products.

Proof: If $X_1,X_2,\dotsc$ is an infinite sequence of objects, then their product is the limit of the sequence $\cdots \to X_2 \times X_1 \to X_1$.

This implication has a dual.