CatDat

Implication Details

Assumptions: cofiltered limits, finite products

Conclusions: products

Reason: The product $\prod_{i \in I} X_i$ is the cofiltered limit of the finite partial products $\prod_{i \in E} X_i$ where $E$ ranges over the finite subsets of $I$.