僕、自然同型〈natural isomorphism〉と自然同値〈natural equivalence〉という言葉を区別してなかったわ。
- 「自然同型」を含む記事の一覧(25件 2018-04-25時点、この記事除く)
- 「自然同値」を含む記事の一覧 (6件 2018-04-25時点、この記事除く)
nLabによると、自然同値のほうは、一般的n-圏のあいだの関手のあいだの関係のようです。よく使われる例は2-関手の2-圏における関係。しかし、
- In 1-category theory it is a natural isomorphism.
1-圏論(通常の圏論)で自然同値と言ったらそれは自然同型のことだから、1-圏論の範囲内では、自然同型=自然同値 で間違いでもないみたい。修正はしないことにした。