>うーと、具体的に言えば、仮に>>252が関手を二つ持ってきたとき、
>なんであれば同一視とみとめてもよいか、
>ということですよ。それをはっきりして欲しい、
>ということを言われてるんでしょう?

>>252 さんのほうで、関手を二つ、具体的に用意していただければ、
それらが「同一視できるかどうか？」というのは、
あくまで、私の基準では、
「それらの関手の間に自然同値が存在するかどうか？」
に、なります。

ですが、皆さんのお話を聞いていると、
有限次元ベクトル空間の例で言えば、
「E と E^{**} が標準的に同型」という主張を、
「関手 id と D が、自然同値」という風に、私が解釈した、
その理由が分からない、という風に見受けられるのです。
特に、なぜ、関手として id と D を選んだのか、という部分について。