Assumptions: cartesian closed, pointed
Conclusions: trivial
Reason: We have X≅X×1≅X×0≅0X \cong X \times 1 \cong X \times 0 \cong 0X≅X×1≅X×0≅0 for every object XXX.