随伴関手との関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/11 01:19 UTC 版)
(A1, φ1) を X1 から U への普遍射、 (A2, φ2) を X2 から U への普遍射とする。普遍性から、任意の射 h : X1 → X2 に対して一意な射 g : A1 → A2 が存在して、次の図式を可換にする。 もし 全ての C の対象 Xi にU への普遍射が認められるならば、Xi ↦ {\displaystyle \mapsto } Ai 及び h ↦ {\displaystyle \mapsto } g によってC から D への関手 Vが定義される。 これに伴って、φi は 1C (C の恒等関手) から U V への自然変換を定義する。関手 (V, U) は随伴関手の対となる。(V は U の左随伴、及び U は V の右随伴) 同様の言明は U からの普遍射という双対な状況においても適用できる。全ての C における X について、関手 V : C → D が得られ、これは U への右随伴になっている。(つまり U は V の左随伴である。) 実際、このような方法で全ての随伴関手の対を普遍的構成から得られる。F と G を単位(unit)η と余単位(co-unit)ε (定義は随伴関手の記事を参考のこと)によって構成される随伴関手の対とする。このとき、任意の対象 C と D への普遍射が得られる。 C の各対象 X に対し、 (F(X), ηX) は X から G への普遍射である。つまり、任意の f : X → G(Y) に対して一意な g : F(X) → Y が存在して以下の図式を可換にする。 D の各対象 Y に対し、 (G(Y), εY) は F から Y への普遍射である。つまり、任意の g : F(X) → Y に対して一意な f : X → G(Y) が存在して以下の図式を可換にする。 普遍的構成は随伴関手の対より更に一般的である。普遍的構成は最適化問題のようなもので、この問題が C 中の全ての対象 (同様に、D の全ての対象)について解を持つとき、かつそのときのみ随伴関手の対が得られる。
※この「随伴関手との関係」の解説は、「普遍性」の解説の一部です。
「随伴関手との関係」を含む「普遍性」の記事については、「普遍性」の概要を参照ください。
- 随伴関手との関係のページへのリンク