# 'No arbitrary choices' intuition for natural transformation.

One of the most frequent examples for natural transformation is the natural isomorphism between vector spaces and their double duals given by evaluation map $$v \to eval_v$$ and it is given in contrast of isomorphism between $$V$$ and $$V^{*}$$ where for construction of isomorphism we should choose some basis. But aren't we making arbitrary choice in natural case too when we opt to do $$v \to eval_v$$ instead of, for example $$v \to 2\ eval_v$$ ? Can someone elaborate, what am I missing here and why one choice is more arbitrary than the other?

• It's certainly not true in any reasonable sense that a natural transformation is one that "makes no arbitrary choices". This is at best a very loose intuition. – Eric Wofsey Jun 16 at 21:28
• There is actually no natural isomorphism between vector spaces and their double duals. There is a natural morphism, but it is an isomorphism only for finite dimensional spaces. – Marc van Leeuwen Jun 17 at 8:46
• Are you perhaps thinking of the term "canonical" which is an imprecise and colloquial way of saying something akin to "we didn't need any choices, this thing exists of necessity by prior assumptions alone"? For vector spaces we often have a choice of basis, and that's how we normally construct an isomorphism $V\to V^*$ for $V$ finite dimensional. But a basis is "extra" information we have to introduce on top of the vector space; while the double dual isomorphism does not make use of a basis, just the vector space, and is in some sense "obvious", so is often referred to as "canonical". – zibadawa timmy Jun 17 at 9:32