CatDat

Implication Details

Assumptions: finite products, sequential limits

Conclusions: 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$.