CatDat

Implication Details

Assumptions: countable products, ℵ₁-cofiltered limits

Conclusions: products

Proof: The product $\prod_{i \in I} X_i$ is the $\aleph_1$-cofiltered limit of the countable partial products $\prod_{i \in C} X_i$ where $C$ ranges over the countable subsets of $I$.