Assumptions: finite powers
Conclusions: terminal object
Reason: The empty power is a terminal object.