Implication Details

Claim: If a category has finite products and is thin, then it has a natural numbers object.

Proof: The triple (1,id⁡1,id⁡1)(1, \id_1, \id_1) is clearly a NNO.

Show 10 categories using this implication