Implication Details
Claim: If a category has countable products and is essentially countable and is thin, then it has products.
Proof: 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.