CatDat

Implication Details

Assumptions: countable productsessentially countablethin

Conclusions: products

Reason: The category is equivalent to a countable preordered set. But then products are just infima, so that repetitions of objects do not matter, and every product can be reduced to a countable one.