>>441
なんでも言い訳ないですよね。それをみんなで長い時間かけてずっと指摘し続けてるわけで。

なんでも良くないのだったら、条件ををはっきり言わないと、同一視も何もないじゃないですか。
自然同値というのは関手があって初めて論じられるものでしょう?
どういう関手を持ってくればよいかをすっとばして、自然同値と言われたって
わかるわけないでしょう?

ということが繰り返し言われてることですよね?

これは>>252に聞かないとわからない、という話ではないですよ。
自然同値はあなたが言い出したことですから。
>>252がどういう関手を持ち出せば同一視と考えてよいのか、
それをまえもって規定するのは言い出しっぺの責任ですよね。