有限次元線型空間とその二重双対空間との自然な同型は
函手の自然変換として捉えられる。
自然な同型と自然でない同型の違いは
線型代数を学ぶ時少し分かりにくい所で、
圏論的理解が有効な所だと思う。