Zero object is the only exponentiable object in a pointed category
ID: zero-object-is-the-only-exponentiable-object-in-a-pointed-category
If the terminal object is also initial and is exponentiable, the left adjoint preserves the initial object. But because is terminal, while preservation of initiality gives . Hence .
New to topics? Read the docs here!