豊穣圏のソースを表示

[[数学]]の一分野、[[圏論]]における'''豊穣圏'''（ほうじょうけん、{{lang-en-short|''enriched category''}}; '''豊饒圏'''、'''豊穣化された圏'''、'''豊饒化された圏'''）は、（局所的に小さい）[[圏 (圏論)|圏]]における{{仮リンク|射集合|en|hom-set}}を一般の[[モノイド圏]]の対象に置き換えて得られる圏の一般化である。

豊穣圏を考える意義は、実際の応用の多くにおいて射集合が追加の構造を備えている（例えば射の[[ベクトル空間]]や射の[[位相空間]]になっている）ことが期待されることがしばしばあるという観察に基づく。

一つの豊饒圏において、対象の任意の対に付随する射集合は、よくわからない「射対象」("hom-objects"; ホム対象) の成す何らかの固定された[[モノイド圏]]（「射圏」; "hom-category"; ホム圏）の[[対象 (圏論)|対象]]に置き換えられる。
通常の圏における射の（結合的な）合成を再現するためには、射圏は射対象の間に定義される結合的な合成を持たなければならない。
つまり、少なくとも、射対象の間の二項演算が[[モノイド圏]]の構造から導入される必要がある。
文脈によってはその演算が可換であったり、[[右随伴]]を持ったりすることがあり得るし、それが必要とされる場合もある（それにより圏が{{仮リンク|対称モノイド圏|en|symmetric monoidal category}}や、さらに[[モノイド閉圏]]となる）{{citation needed|date=December 2016}}。

したがって豊饒圏論は広く多様な構造を同じ枠組みに包摂するものである。そのような構造として以下のようなものが挙げられる:
* 通常の圏だが射集合が単に集合であるばかりでなく追加の構造を備えるもの。すなわち、射に関して演算もしくは性質が定められ、それらが射の合成によって保たれる。例えば{{仮リンク|二次圏|en|2-category|label=2-圏}}において（一次元の）射の間に二次元の射 (2-cell) が存在して水平合成ができるし、あるいは[[アーベル圏]]において射には加法が定義される。
* 圏に類似な対象で、それ自身は個々の射の概念を全く持たないが、射対象は圏同様の合成と見なせる性質を持つもの。例えば、{{仮リンク|前順序集合|en|preorder}}は合成則を推移律によって保障されるし、[[距離函数#擬準距離|ローヴェアの距離空間]]は射対象が数値的な距離でありその合成則は三角不等式により与えられる。

射対象全体の成す圏が[[集合の圏]]に通常のデカルト積を備えたモノイド圏となっているときを考えれば、その場合の豊饒圏、豊穣函手などは、通常の圏論における通常の定義に基づく、圏、函手などに帰着される。

モノイド圏 {{math|'''M'''}} に射対象を持つ豊饒圏を {{math|'''M'''}} '''上の豊饒圏''' (enriched category over '''M''') や {{math|'''M'''}} '''における豊饒圏''' (enriched category in '''M''') あるいは {{math|'''M'''}} で豊饒化された圏 (category enriched by '''M''') や簡単に {{math|'''M'''}}-豊饒圏 ('''M'''-enriched category) もしくはもっと簡単に {{math|'''M'''}}-'''圏''' ('''M'''-category) などと呼ぶ。マクレーンはモノイド圏を表すのに文字 {{mvar|V}} を使っていたから、豊饒圏のことも一般に {{mvar|V}}-圏と呼ぶこともある。

== 定義 ==
[[モノイド圏]] {{math|('''M''', ⊗, ''I'', ''α'', ''λ'', ''ρ'')}} に対して、'''豊饒圏'''（考えているモノイド圏を明示する場合には、{{math|'''M'''}} 上の豊饒圏、{{math|'''M'''}}-(豊饒)圏）{{math|'''C'''}} は、
* {{math|'''C'''}} の'''対象'''全体の成す[[類 (集合論)|類]] {{math|''ob''('''C''')}},
* {{math|'''C'''}} の対象の任意の対 {{math|''a'', ''b'' &isin; ''ob''('''C''')}} に対する「射の集まり」に相当する {{math|''C''(''a'', ''b'') &isin; ''ob''('''M''')}},
* 各対象 {{math|''a'' &isin; ''ob''('''C''')}} に付随する「恒等射」に相当する {{math|'''M'''}} 内の射 {{math|id{{sub|''a''}}: ''I'' → ''C''(''a'', ''a'')}},
* 「射の合成」に相当する {{math|'''M'''}} 内の射 {{math|∘{{sub|''abc''}}: ''C''(''b'', ''c'') ⊗ ''C''(''a'', ''b'') → ''C''(''a'', ''c'')}} {{math|(''a'', ''b'', ''c'' &isin; ''ob''('''C''')}} で後述する三つの図式（結合律を表す五角形図式、左右の単位律を表す図式）を可換にするもの,
からなる。一つ目の図式は、「合成」の「結合律」を表すもので、通常の圏における合成の結合性を射圏 {{math|'''M'''}} における{{仮リンク|結合子|en|associator}} {{mvar|α}} が図式 [[file:Math-enriched category associativity.svg|300px|center|結合律]] を可換にすることに置き換える。

射圏 {{math|'''M'''}} が[[集合の圏]]でモノイド構造 {{math|(⊗, ''I'', ''α'', ''λ'', ''ρ'')}} が[[デカルト積]]と終対象となる一点集合の定める構造 {{math|(×, {{mset|•}}, id, id, id)}} の場合には、各射対象 {{math|''C''(''a'', ''b'')}} はその各元が {{math|'''C'''}} の「個々の射」となる集合（通常の圏の射集合）と考えられ、また {{math|∘}} は写像として連続する射の合成を定めるもの（通常の圏の射の合成）と捉えることができる。この場合、上にあげた「一つ目の図式」において {{math|''C''(''a'', ''d'')}} へ至る各経路が、三連続する個々の射 {{math|''a'' → ''b'' → ''c'' → ''d''}}（各々 ''C''(''a'', ''b''), ''C''(''b'', ''c'') および ''C''(''c'', ''d'') からとった元である）の二種類ある合成の仕方の各々に対応し、図式の可換性がその二種類の合成順によって結合の結果が変わらないこと（という通常の圏でまさに要求される条件）を主張するものになっている。

このように図式にして考えることの何が新しいのかといえば、結合律を課すことを豊饒圏 {{math|'''C'''}} の個別の射を陽に出すことなく言い表しているという点である。射圏 {{math|'''M'''}} における射に関するこれらの図式（{{math|'''C'''}} 内の図式ではない）は、合成の結合性の概念を一般の場合にも意味を為すようにするために存在する（一般の場合には、射対象 {{math|''C''(''a'', ''b'')}} は抽象的に与えられ（集合のように「元を持つ」とは限らないから）、豊饒圏 {{math|'''C'''}} 自身は個々の射の概念を持つ必要さえ一切ないのである）。

さて通常の圏が恒等射を持つという概念は、「単位律」を表す左および右{{仮リンク|単位子|en|unitor}} {{mvar|λ, ρ}} に関する二番目と三番目の図式 [[File:Math-enriched category identity1.svg|300x150px|center|左単位律]] および [[File:Math-enriched category identity2.svg|300x150px|center|右単位律]] で置き換えられなければならない。

再び {{math|'''M'''}} がデカルト積を備えた集合の圏の場合に立ち返れば、恒等射 {{math|id{{sub|''a''}}: ''I'' → ''C''(''a'', ''a'')}} は一点集合 {{mvar|I}} からの写像となり、従ってそれは、与えられた任意の対象 {{mvar|a}} に対し各集合 {{math|''C''(''a'', ''a'')}} の特定の一元を同定するものでなければならないが、それを 「{{math|a &isin; ''ob''('''C''')}} に対する恒等射」であるものと考えることができる。すると、上記二つの図式の可換性は、そのように識別された各「{{math|'''C'''}} 内の恒等射」の（写像 {{math|∘}} の定義する）合成が、通常の圏において要求される単位律の通り振る舞うことを主張するものになっていることがわかる。

さてここで複数の相異なる「恒等射」の概念が出てきているので振り返っておく:
* 射圏 {{math|'''M'''}} の（通常の圏として備えているべき）各対象に付随する'''恒等射''' {{math|1{{sub|''C''(''a'', ''b'')}}: ''C''(''a'', ''b'') → ''C''(''a'', ''b'').}}
* 豊饒圏 {{math|'''C'''}} の各対象 {{mvar|a}} に付随する'''（豊饒化された）恒等射''' {{math|id{{sub|''a''}}: ''I'' → ''C''(''a'', ''a'').}} これもやはり {{math|'''M'''}} の射だが、{{math|'''C'''}} がそれ自身の個別の射を持つとみなされる場合であってさえも、この豊饒化された意味での恒等射が {{math|'''C'''}} の個別の射を特定するものになっている必要はない。

== 豊饒圏の例 ==
* 既に述べたが、通常の圏は[[デカルト積|集合の直積]]をモノイド演算として備えた[[集合の圏]] {{math|('''Set''', ×, {{mset|•}})}} で豊饒化された圏である。
* {{仮リンク|二次圏|en|2-category|label=2-圏}}は[[小さい圏の圏]] {{math|'''Cat'''}} にデカルト積によって定まるモノイド構造を入れたもので豊饒化された圏である。この場合、射の間の二次元の射 (2-cell) {{math|''a'' → ''b''}} およびそれらの垂直合成則は、通常の圏 {{math|''C''(''a'', ''b'')}} における射およびその合成則である。
* [[圏 (数学)|局所的に小さい圏]]（射対象が小さい集合となる圏）は{{仮リンク|小さい集合 (圏論)|label=小さい集合|en|small set (category theory)}} が集合の直積をモノイド積として成すモノイド圏 {{math|('''SmSet''', ×)}} で豊饒化された圏である。
* {{仮リンク|局所的に有限な圏|en|Locally finite category|label=局所有限圏}}は[[有限集合の圏]]が集合の直積に関して成すモノイド圏 {{math|('''FinSet''', ×)}} で豊饒化された圏を言う。
* {{仮リンク|前順序集合|en|Preordered set}}は、二つの対象を持ち恒等射でないただ一つの射を持つ圏 {{math|1='''2''' {{coloneqq}} {{mset|''FALSE'', ''TRUE''}}}} で豊饒化された圏と考えることができる。ただし、その唯一の射を {{math|''FALSE'' → ''TRUE''}} とし、ブール値の連言をモノイド演算、{{math|''TRUE''}} をモノイド単位とする。すると射対象 {{math|'''2'''(''a'', ''b'')}} は与えられた対象の順序対 {{math|(''a'', ''b'')}} 上の特定の二項関係を単に拒否するか受容するかを意味するもので、この関係を表すより馴染みのある記法としては、これを {{math|''a'' ≤ ''b''}} と書くことができる。この {{math|'''2'''}} で豊饒化された圏に対する合成と恒等射の存在は、それぞれ'''推移律''' ({{math|''a'' ≤ ''b'' かつ ''b'' ≤ ''c'' ⇒ ''a'' ≤ ''c''}}) および'''反射律''' ({{math|''TRUE'' ⇒ ''a'' ≤ ''a''}}) という公理（これらはつまり {{math|≤}} が前順序となることを意味する公理である）に直ちに翻訳することができる。圏 {{math|'''2'''}} における任意の図式は可換となるから、これは {{math|'''2'''}} で豊饒化された圏に対する豊饒圏の公理として'''唯一'''内容を持つものである。
* [[ウィリアム・ローヴェア]]の一般化された距離空間、すなわち[[距離函数#擬準距離|擬準距離空間]]は、非負[[拡大実数]]の全体 {{math|'''R'''<sup>+∞</sup>}} を通常の大小関係の成す順序の逆で圏と見なしたもの（つまり、射 {{math|''r'' → ''s''}} が存在する必要十分条件が {{math|''r'' ≥ ''s''}}）に加法 {{math|+}} をモノイド積、{{math|[[0]]}} をモノイド単位とするモノイド構造をいれたモノイド圏で豊饒化された圏である。射対象 {{math|'''R'''<sup>+∞</sup>(''a'',''b'')}} は本質的に距離 {{math|d(''a'',''b'')}} であり、合成と恒等射の存在は'''三角不等式''' ({{math|d(''b'',''c'') + d(''a'',''b'') ≥ d(''a'',''c'')}}) および'''非負性''' ({{math|0 &le; d(''a'',''a'')}} に翻訳される。 
* [[零射]]を持つ圏は[[点付き集合]]が[[スマッシュ積]]に関して成すモノイド圏 {{math|('''Set{{sub|&lowast;}}''', ∧)}} で豊饒化された圏である。射対象 {{math|Hom(''A'', ''B'')}} の基点が {{mvar|A}} から {{mvar|B}} への零射に対応する。
* [[前加法圏]]は[[アーベル群の圏]]がテンソル積に関して成すモノイド圏 {{math|('''Ab''', ⊗)}} で豊饒化された圏である。

== モノイド函手との関係 ==
モノイド圏 {{math|'''M'''}} からモノイド圏 {{math|'''N'''}} への{{仮リンク|モノイド函手|en|monoidal functor}}が存在すれば、任意の {{math|'''M'''}}-豊饒圏を {{math|'''N'''}}-豊饒圏と読み替えることができる。任意のモノイド圏 {{math|'''M'''}} は集合の圏へのモノイド函手 {{math|'''M'''(''I'', &ndash;)}} を持つから、任意の豊饒圏はその台となる通常の圏を持つ。（上で述べたような）多くの例においてこの函手は[[忠実函手|忠実]]であり、その場合の {{math|'''M'''}}-豊饒圏は通常の圏において追加の構造や性質を備えたものとして記述することができる。

== 豊饒函手 ==
'''豊饒函手''' (''enriched functor''; '''豊饒化された函手'''）は通常の[[函手]]の概念の豊饒圏に合わせて一般化した概念である。したがって、豊穣函手は豊饒圏の間の豊饒構造を保つ対応になっている。

{{mvar|C}} および {{mvar|D}} をモノイド圏 {{math|'''M'''}} に対する {{math|'''M'''}}-豊饒圏とするとき、{{math|'''M'''}}-豊饒函手 {{math|''T'': ''C'' → ''D''}} とは {{mvar|C}} の各対象を {{mvar|D}} の対象に写し、各対 {{math|''a'', ''b'' &isin; ''ob''(''C'')}} に対して {{mvar|C}} と {{mvar|D}} の射対象（それらは {{math|'''M'''}} の対象である）の間の {{math|'''M'''}} の射 {{math|''T{{sub|ab}}'': ''C''(''a'', ''b'') → ''D''(''T''(''a''), ''T''(''b''))}} が存在して、豊饒化された意味での函手の公理（つまり恒等射と合成を保つ）を満たすときに言う。

豊饒圏において射対象は集合とは限らないから、個々の射に関して言うことはできず、恒等射だとか具体的な二つの射の合成という概念を持ち出すわけにはいかないので、その代わりに恒等射を選択することと解釈できるモノイド単位対象から射対象への射と射の合成と解釈できるモノイド積からの射を考えるのであった。通常の函手の公理は、それと対応するいまいったような射を含む可換図式で置き換えられる。

より詳細に述べれば、一つは図式 [[Image:Enrichedidentity.png|center|250px|単位射を保つ]] が可換となることであり、これは等式で書けば
: <math>T_{aa}\circ \operatorname{id}_a=\operatorname{id}_{T(a)}</math>
と書ける。ただし {{mvar|I}} は {{math|'''M'''}} のモノイド単位対象である。これは通常の函手 {{mvar|F}} に対する条件 {{math|1=''F''(id{{sub|''a''}}) = id{{sub|''F''(''a'')}}}} に対応する。いま一つは、図式 [[Image:Enrichedmult.png|center|300px|合成を保つ]] が可換となることであり、これは通常の函数に対する条件 {{math|1=''F''(''fg'') = ''F''(''f'')''F''(''g'')}} に対応する。

== 関連項目 ==
<!--{{Portal|Category theory}}-->
* {{仮リンク|内部圏|en|Internal category}}
* {{仮リンク|イスベル共軛|en|Isbell conjugacy}}

== 参考文献 ==
* [[Max Kelly|Kelly,G.M.]] [http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf "Basic Concepts of Enriched Category Theory"], London Mathematical Society Lecture Note Series No.64 (C.U.P., 1982)
* {{cite book |first=Saunders |last=Mac Lane |authorlink=Saunders Mac Lane|title=Categories for the Working Mathematician | edition=second |date=September 1998 |publisher=Springer |isbn=0-387-98403-8}} (Volume 5 in the series [[Graduate Texts in Mathematics]])
* [[F. William Lawvere|Lawvere,F.W.]] [http://tac.mta.ca/tac/reprints/articles/1/tr1.pdf "Metric Spaces, Generalized Logic, and Closed Categories"], Reprints in Theory and Applications of Categories, No. 1, 2002, pp.&nbsp;1–37.
*{{nlab|id=enriched+category|title=Enriched category}}

[[Category:圏論]]
[[Category:モノイド圏]]
[[Category:数学に関する記事]]
{{DEFAULTSORT:ほうしようけん}}