Exponential objects in a cartesian closed category: $a^1 \cong a$ Hi I'm having problems with coming up with a proof for this simple property of cartesian closed categories (CCC) and exponential objects, namely that  for any object $a$ in a CCC $C$ with an initial object $0$, $a$ is isomorphic to $a^1$ where $1$ is the terminal object of $C$. In most of the category theory books i've read this is usually left as an exercise, but for some reason I can't get a handle on it.  

You can also reason as follows, without the Yoneda lemma. But proving uniqueness of right adjoints is cumbersome without using Yoneda, and easy with. Anyway, here it goes:
The functor $(-)\times 1$ is isomorphic to the identity functor. The identity functor is a right adjoint of itself, so the identity functor is also right adjoint to $(-)\times 1$. Then uniqueness of right adjoints gives that $(-)^1$ is isomorphic to the identity functor.
