>>427
>ざっとしか読んでないけどそれは単にその関手が
>カテゴリの同型だってことでしょ?

いや、そこまでは強くない。関手 id と、関手 D の間に、
自然同値が作れる、というだけ。D のほうは、関手として、
圏 L(k) の、自己同型には、なっていないはず。
（中への単射には、なっているが）