CatDat

Implication Details

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

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