Claim: Given a morphism whose category is thin, then it is constant.
Proof: This is trivial.
This implication has a dual.