>>440
与えられた二つの関手については、何でもいいわけじゃありません。
与えられた二つの関手が、ここでは、id と D　であり、それらが、
自然同値かどうか？　というのを、問題にしているからです。
自然同値が何であるかについては、問題にはしていませんが。

E と E^{**} が、標準的に同型かどうか？という問題を、
関手の言葉で表現して、
id と D が、自然同値かどうか？
という風になる、と、私は、解釈しています。

なので、id や D の代わりに、何を持ってきてもよい、というふうには、
思えません。