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