圏、関手、および自然変換

圏、関手、および自然変換は、圏論の3つの基本的な概念であり、構造、構造間の写像、およびそのような写像間の写像を形式化します。

Definition

圏は、結合的かつ恒等射を持つ対象と射から構成されます。関手は、ある圏の対象と射を別の圏に写像し、合成と恒等射を保持します。自然変換は、各対象に射を割り当て、2つの関手の作用と可換になるようにします。

Scope

このトピックでは、対象、射、合成、および恒等射による圏の定義、圏間の構造を保持する写像としての関手の概念、関手の射としての自然変換、および結果として生じる同型、圏の同値、および米田の埋め込みの概念について説明します。

Core questions

• 圏を定義するデータと公理は何ですか？
• 関手はどのようにしてある圏から別の圏へ構造を伝達しますか？
• 自然性は何を意味し、なぜそれが関手間の写像の適切な概念なのですか？
• 2つの圏が等しいのではなく同値であるのはどのような場合ですか？

Key theories

圏と関手の公理

射の合成は結合的かつ単位的であり、関手はこの合成構造を保持するため、圏論的構成は圏を関連付ける写像の下で安定しています。

自然変換

自然変換は、ソース圏のすべての写像と互換性のある射の族によって2つの関手を関連付け、一様に、かつ任意の選択なしに定義された構成という非公式な考え方を捉えます。

米田の補題と埋め込み

表現可能な関手からの自然変換は要素に対応するため、すべての対象はその射によって決定され、関手圏に完全に忠実に埋め込まれます。

Clinical relevance

これら3つの概念は、圏論的数学が記述される語彙です。関手は、基本群や多項式環を形成するなどの構成を形式化し、自然性は正準な構成を特定し、米田の視点は、代数、位相幾何学、およびプログラミング言語の意味論に浸透している構造的視点の基礎となります。

History

アイレンバーグとマックレーンは、1945年に圏、関手、および自然変換を導入しました。自然変換は、他の概念を正確に定義する必要がある動機付けとなる概念でした。米田信夫に帰せられる米田の補題は、すぐに主題の表現可能性の視点を表現する基礎となりました。

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

自然変換の要点は何ですか？

自然変換は、構成が正準であり、任意の選択なしにすべての対象に対して同じ方法で定義される場合を正確に記述します。典型的な例は、ベクトル空間からその二重双対への自然な写像です。これは一様に存在しますが、単一双対への写像は基底の選択に依存するため、そうではありません。

圏の同値とは何ですか？

それは、2つの圏間の関手のペアであり、その合成が恒等射に自然同型であるものです。同値な圏は、文字通り同一ではない場合でも、すべての圏論的性質を共有します。これは、圏論における同一性の適切な概念です。