Implication Details

Claim: If a category has a terminal object and is thin, then it has powers.

Proof: This is because for non-empty set II the power XIX^I is just XX.

Show 1 category using this implication