随伴関手

随伴関手とは、射の間の自然な対応によって関連付けられる関手のペアであり、数学全体における自由構成、忘却関手、および最適解を捉える遍在的なパターンです。

Definition

ある関手が、反対方向の関手に対して左随伴であるとは、ある対象のソースからその対象の像への射と、その像からその対象への射の間に自然な全単射が存在する場合を指します。この単一の関係は、各対象に対する普遍性質を符号化します。

Scope

このトピックでは、ホム集合の自然な全単射による随伴の定義、単位と余単位による同値な定式化、普遍射による同値な定式化、右随伴による極限の保存と左随伴による余極限の保存、随伴関手定理、および随伴とモナドの関係について扱います。

Core questions

• 2つの関手の間の随伴を定義する自然な対応とは何ですか？
• 単位と余単位はどのように随伴を符号化しますか？
• なぜ右随伴は極限を保存し、左随伴は余極限を保存するのですか？
• 関手はいつ随伴を持ちますか？

Key theories

ホム集合随伴

随伴とは、2つのホム関手間の自然な同型であり、各左随伴は右随伴によって提起された問題に対する自由な、または最も効率的な解を提供します。

単位、余単位、および三角形等式

随伴は、三角形等式を満たす単位と余単位の自然変換によって同等に与えられ、これは計算やモナドの定義に適した記述です。

極限と余極限の保存

右随伴はすべての極限を保存し、左随伴はすべての余極限を保存します。この事実は、多くの連続性および完全性特性を説明し、存在基準を与える随伴関手定理を裏付けています。

Clinical relevance

随伴は数学において最も統一的な概念の一つです。自由群、テンソル・ホム関係、ストーン・チェフコンパクト化、論理における構文と意味論の関係はすべて随伴であり、随伴を認識することは直ちに普遍性質と保存結果をもたらします。これが圏論学者が随伴性を中心的な概念と見なす理由です。

History

ダニエル・カンは1958年に随伴関手を導入し、自由関手と忘却関手、およびその他の双対的な構成を関連付ける繰り返しのパターンを認識しました。ローヴェアは、構文と意味論の間の随伴性を含め、随伴を基礎的なものとして強調し、フレイドの随伴関手定理は随伴の存在に関する一般的な条件を与えました。

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

随伴のよく知られた例は何ですか？

自由群関手は、群の群構造をその基礎集合に忘却する関手に対して左随伴です。集合から群への写像は、その集合上の自由群からの準同型写像に自然に対応し、これがまさに随伴の全単射です。

なぜ数学者は随伴関手が至る所に現れると言うのですか？

自由構成、完備化、積と指数、そして構造とそれよりも単純なその影との間の多くの関係は随伴です。このパターンは非常に一般的であるため、随伴を見つけることは、構成の普遍性質とその極限または余極限の保存を理解する最も手っ取り早い方法となることがよくあります。