この場合の同一視って、端的にいうと、
自然同値になっているとか、そういう性質まで含めているんじゃないの？

有限次元ベクトル空間を、その双対の双対と同一視できるが、
単なる双対とは無理だ、という話は、そうだろう。