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 .
Articles by others on the same topic
There are currently no matching articles.