豊穣圏

数学の一分野、圏論における豊穣圏（ほうじょうけん、テンプレート:Lang-en-short; 豊饒圏、豊穣化された圏、豊饒化された圏）は、（局所的に小さい）圏におけるテンプレート:仮リンクを一般のモノイド圏の対象に置き換えて得られる圏の一般化である。

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

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

したがって豊饒圏論は広く多様な構造を同じ枠組みに包摂するものである。そのような構造として以下のようなものが挙げられる:

• 通常の圏だが射集合が単に集合であるばかりでなく追加の構造を備えるもの。すなわち、射に関して演算もしくは性質が定められ、それらが射の合成によって保たれる。例えばテンプレート:仮リンクにおいて（一次元の）射の間に二次元の射 (2-cell) が存在して水平合成ができるし、あるいはアーベル圏において射には加法が定義される。
• 圏に類似な対象で、それ自身は個々の射の概念を全く持たないが、射対象は圏同様の合成と見なせる性質を持つもの。例えば、テンプレート:仮リンクは合成則を推移律によって保障されるし、ローヴェアの距離空間は射対象が数値的な距離でありその合成則は三角不等式により与えられる。

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

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

定義

モノイド圏 テンプレート:Math に対して、豊饒圏（考えているモノイド圏を明示する場合には、テンプレート:Math 上の豊饒圏、テンプレート:Math-(豊饒)圏）テンプレート:Math は、

• テンプレート:Math の対象全体の成す類 テンプレート:Math,
• テンプレート:Math の対象の任意の対 テンプレート:Math に対する「射の集まり」に相当する テンプレート:Math,
• 各対象 テンプレート:Math に付随する「恒等射」に相当する テンプレート:Math 内の射 テンプレート:Math,
• 「射の合成」に相当する テンプレート:Math 内の射 テンプレート:Math テンプレート:Math で後述する三つの図式（結合律を表す五角形図式、左右の単位律を表す図式）を可換にするもの,

からなる。一つ目の図式は、「合成」の「結合律」を表すもので、通常の圏における合成の結合性を射圏 テンプレート:Math におけるテンプレート:仮リンク テンプレート:Mvar が図式

結合律

を可換にすることに置き換える。

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

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

さて通常の圏が恒等射を持つという概念は、「単位律」を表す左および右テンプレート:仮リンク テンプレート:Mvar に関する二番目と三番目の図式

左単位律

および

右単位律

で置き換えられなければならない。

再び テンプレート:Math がデカルト積を備えた集合の圏の場合に立ち返れば、恒等射 テンプレート:Math は一点集合 テンプレート:Mvar からの写像となり、従ってそれは、与えられた任意の対象 テンプレート:Mvar に対し各集合 テンプレート:Math の特定の一元を同定するものでなければならないが、それを 「テンプレート:Math に対する恒等射」であるものと考えることができる。すると、上記二つの図式の可換性は、そのように識別された各「テンプレート:Math 内の恒等射」の（写像 テンプレート:Math の定義する）合成が、通常の圏において要求される単位律の通り振る舞うことを主張するものになっていることがわかる。

さてここで複数の相異なる「恒等射」の概念が出てきているので振り返っておく:

• 射圏 テンプレート:Math の（通常の圏として備えているべき）各対象に付随する恒等射 テンプレート:Math
• 豊饒圏 テンプレート:Math の各対象 テンプレート:Mvar に付随する（豊饒化された）恒等射 テンプレート:Math これもやはり テンプレート:Math の射だが、テンプレート:Math がそれ自身の個別の射を持つとみなされる場合であってさえも、この豊饒化された意味での恒等射が テンプレート:Math の個別の射を特定するものになっている必要はない。

豊饒圏の例

• 既に述べたが、通常の圏は集合の直積をモノイド演算として備えた集合の圏 テンプレート:Math で豊饒化された圏である。
• テンプレート:仮リンクは小さい圏の圏 テンプレート:Math にデカルト積によって定まるモノイド構造を入れたもので豊饒化された圏である。この場合、射の間の二次元の射 (2-cell) テンプレート:Math およびそれらの垂直合成則は、通常の圏 テンプレート:Math における射およびその合成則である。
• 局所的に小さい圏（射対象が小さい集合となる圏）はテンプレート:仮リンク が集合の直積をモノイド積として成すモノイド圏 テンプレート:Math で豊饒化された圏である。
• テンプレート:仮リンクは有限集合の圏が集合の直積に関して成すモノイド圏 テンプレート:Math で豊饒化された圏を言う。
• テンプレート:仮リンクは、二つの対象を持ち恒等射でないただ一つの射を持つ圏 テンプレート:Math で豊饒化された圏と考えることができる。ただし、その唯一の射を テンプレート:Math とし、ブール値の連言をモノイド演算、テンプレート:Math をモノイド単位とする。すると射対象 テンプレート:Math は与えられた対象の順序対 テンプレート:Math 上の特定の二項関係を単に拒否するか受容するかを意味するもので、この関係を表すより馴染みのある記法としては、これを テンプレート:Math と書くことができる。この テンプレート:Math で豊饒化された圏に対する合成と恒等射の存在は、それぞれ推移律 (テンプレート:Math) および反射律 (テンプレート:Math) という公理（これらはつまり テンプレート:Math が前順序となることを意味する公理である）に直ちに翻訳することができる。圏 テンプレート:Math における任意の図式は可換となるから、これは テンプレート:Math で豊饒化された圏に対する豊饒圏の公理として唯一内容を持つものである。
• ウィリアム・ローヴェアの一般化された距離空間、すなわち擬準距離空間は、非負拡大実数の全体 テンプレート:Math を通常の大小関係の成す順序の逆で圏と見なしたもの（つまり、射 テンプレート:Math が存在する必要十分条件が テンプレート:Math）に加法 テンプレート:Math をモノイド積、テンプレート:Math をモノイド単位とするモノイド構造をいれたモノイド圏で豊饒化された圏である。射対象 テンプレート:Math は本質的に距離 テンプレート:Math であり、合成と恒等射の存在は三角不等式 (テンプレート:Math) および非負性 (テンプレート:Math に翻訳される。
• 零射を持つ圏は点付き集合がスマッシュ積に関して成すモノイド圏 テンプレート:Math で豊饒化された圏である。射対象 テンプレート:Math の基点が テンプレート:Mvar から テンプレート:Mvar への零射に対応する。
• 前加法圏はアーベル群の圏がテンソル積に関して成すモノイド圏 テンプレート:Math で豊饒化された圏である。

モノイド函手との関係

モノイド圏 テンプレート:Math からモノイド圏 テンプレート:Math へのテンプレート:仮リンクが存在すれば、任意の テンプレート:Math-豊饒圏を テンプレート:Math-豊饒圏と読み替えることができる。任意のモノイド圏 テンプレート:Math は集合の圏へのモノイド函手 テンプレート:Math を持つから、任意の豊饒圏はその台となる通常の圏を持つ。（上で述べたような）多くの例においてこの函手は忠実であり、その場合の テンプレート:Math-豊饒圏は通常の圏において追加の構造や性質を備えたものとして記述することができる。

豊饒函手

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

テンプレート:Mvar および テンプレート:Mvar をモノイド圏 テンプレート:Math に対する テンプレート:Math-豊饒圏とするとき、テンプレート:Math-豊饒函手 テンプレート:Math とは テンプレート:Mvar の各対象を テンプレート:Mvar の対象に写し、各対 テンプレート:Math に対して テンプレート:Mvar と テンプレート:Mvar の射対象（それらは テンプレート:Math の対象である）の間の テンプレート:Math の射 テンプレート:Math が存在して、豊饒化された意味での函手の公理（つまり恒等射と合成を保つ）を満たすときに言う。

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

より詳細に述べれば、一つは図式

単位射を保つ

が可換となることであり、これは等式で書けば

$T_{aa}\circ {\mathrm{id}}_a={\mathrm{id}}_{T(a)}$

と書ける。ただし テンプレート:Mvar は テンプレート:Math のモノイド単位対象である。これは通常の函手 テンプレート:Mvar に対する条件 テンプレート:Math に対応する。いま一つは、図式

合成を保つ

が可換となることであり、これは通常の函数に対する条件 テンプレート:Math に対応する。

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク

参考文献

• Kelly,G.M. "Basic Concepts of Enriched Category Theory", London Mathematical Society Lecture Note Series No.64 (C.U.P., 1982)
• テンプレート:Cite book (Volume 5 in the series Graduate Texts in Mathematics)
• Lawvere,F.W. "Metric Spaces, Generalized Logic, and Closed Categories", Reprints in Theory and Applications of Categories, No. 1, 2002, pp. 1–37.
• テンプレート:Nlab