Implication Details

Claim: Given a morphism whose category is thin, then it is constant.

Proof: This is trivial.

Show 1 morphism using this implication