Implication Details

Assumptions: terminal object, thin

Conclusions: powers

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

Show 1 category using this implication