Let $V$ be a finite dimensional euclidean vector space (that is, a vector space with an inner product $\langle,\rangle$. I read somewhere that for such vector spaces, there is a canonical isomorphism between a vector space and its dual, namely $x \mapsto \langle x,-\rangle$. This makes sense to me, but I am left wondering, does this make $V$ natually isomorphic to $V^{*}$? That is, in the category of finite dimensional euclidean vector spaces, is the identity functor isomorphic to the dualization functor?
The dualization functor is of course a contravariant functor, so we would need the notion of a dinatural transformation. This would be a collection of isomorphisms $m_V$ with a corresponding naturality condition. To follow through with my inutition of what the natural isomorphism would ve, I have set $m_V: x \mapsto \langle x,- \rangle$
For all $f: V \to W$, the following diagram commutes
$$\require{AMScd}\begin{CD} V @>m_V>> V^{*}\\ @VfVV @AAf^{*}A\\ W @>>m_{W}> W^{*} \end{CD}$$
Here, as usual, $f^{*}: W^{*} \to V^{*}$ is defined by $\phi \mapsto \phi \circ f$. Then, this diagram reads:
For all $v \in V$, we have $(f^{*} \circ m_W \circ f) (v) = m_V (v)$.
Directly evaluating gives:
$$ (f^{*} \circ m_W \circ f) (v) = f^{*} \circ m_W (f(v)) $$ $$ = f^{*} (\langle f(v),- \rangle) $$ $$ = \langle f(v), f(-) \rangle $$
Thus, the naturality condiditon reads that for all $v \in V$, we have $\langle v, - \rangle = \langle f(v), f(-) \rangle$, where both the left and right hand side of the equation are viewed as elements of $V^{*}$. This however, is only true when $f$ is orthogonal, right?
Furthermore, setting $f=0$ says that $\langle v,- \rangle =0$ for all $v$, which is certainly not true, so this definition of naturality doesn't seem to be the right one. My question then is, how can we make precise the naturality of the map $x \mapsto \langle x,-\rangle$?
What you've proven is precisely that the naturality is with respect to orthogonal (/unitary) maps. These are precisely the maps that preserve the inner product, so this is a natural choice of morphisms for the category of inner product spaces.