>>431
横レスだけど、単に自然同値なんじゃなくて、ある条件がついた自然同値のことを
言ってるんでしょ、て言われてる気がするよ。

>>427
idと同値な関手があるとき、同一視するとのことのようだね。