僕、自然同型〈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-圏論の範囲内では、自然同型＝自然同値 で間違いでもないみたい。修正はしないことにした。
