Implication details

Claim: If a category is inhabited and is thin and has zero morphisms, then it is trivial.

Proof: This is easy.
Show 3 categories using this implication