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