CatDat

Implication Details

Assumptions: essentially finitefinite productsthin

Conclusions: products

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