>>423
いや、そういう意味じゃなくてカテゴリの同型やら
カテゴリ同値というならまだわかるけど、関手があってそのふたつに同型がある(自然同値)では
弱いというか何を言いたいのかわからないという意味。

ただしカテゴリでは異なった用語を使うことがあるので
上記はあなたの意味してることと違うのかも知れない。俺のものはすべて岩波基礎講座のもの。
(Kashiwara-Schapiraでも同じようなものだけど)

>>425
ざっとしか読んでないけどそれは単にその関手がカテゴリの同型だってことでしょ?
大体カテゴリを使うんだったらそんなことをしなくても…
まぁいいや、元の言い出しっぺの>>252がそこまで理解してるとは思えないし。