>> 463
> 皆、誤解してるな。
> 標準的な同型と自然同値(または自然同型または関手的同型とも言う)は違う概念だ。

凄いね！
良くそれに気付いたね？！
もっとも勘違いしてるのは >>420 だけだけど。