Implication details
Claim: If a category has a terminal object and is thin, then it has powers.
Proof: This is because for a non-empty set the power is just .
This implication has a dual.
Claim: If a category has a terminal object and is thin, then it has powers.
This implication has a dual.