Implication Details

Assumptions: finite products, sequential limits

Conclusions: countable products

Reason: If X1,X2,…X_1,X_2,\dotsc is an infinite sequence of objects, then their product is the limit of the sequence ⋯→X2×X1→X1\cdots \to X_2 \times X_1 \to X_1.