豊穣圏

数学の一分野、圏論における豊穣圏（ほうじょうけん、; 豊饒圏、豊穣化された圏、豊饒化された圏）は、（局所的に小さい）圏におけるを一般のモノイド圏の対象に置き換えて得られる圏の一般化である。

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

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

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

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

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

定義モノイド圏に対して、豊饒圏（考えているモノイド圏を明示する場合には、上の豊饒圏、-(豊饒)圏）は、の対象全体の成す類 , の対象の任意の対に対する「射の集まり」に相当する , 各対象に付随する「恒等射」に相当する内の射 , 「射の合成」に相当する内の射で後述する三つの図式（結合律を表す五角形図式、左右の単位律を表す図式）を可換にするもの, からなる。一つ目の図式は、「合成」の「結合律」を表すもので、通常の圏における合成の結合性を射圏におけるが図式を可換にすることに置き換える。

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

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

さて通常の圏が恒等射を持つという概念は、「単位律」を表す左および右に関する二番目と三番目の図式およびで置き換えられなければならない。

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

さてここで複数の相異なる「恒等射」の概念が出てきているので振り返っておく: 射圏の（通常の圏として備えているべき）各対象に付随する恒等射豊饒圏の各対象に付随する（豊饒化された）恒等射これもやはりの射だが、がそれ自身の個別の射を持つとみなされる場合であってさえも、この豊饒化された意味での恒等射がの個別の射を特定するものになっている必要はない。

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

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

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

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

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

より詳細に述べれば、一つは図式が可換となることであり、これは等式で書けば

と書ける。ただしはのモノイド単位対象である。これは通常の函手に対する条件に対応する。いま一つは、図式が可換となることであり、これは通常の函数に対する条件に対応する。

Źródło i licencja