豊穣圏数学の一分野、圏論における豊穣圏(ほうじょうけん、英: enriched category; 豊饒圏、豊穣化された圏、豊饒化された圏)は、(局所的に小さい)圏における射集合を一般のモノイド圏の対象に置き換えて得られる圏の一般化である。 豊穣圏を考える意義は、実際の応用の多くにおいて射集合が追加の構造を備えている(例えば射のベクトル空間や射の位相空間になっている)ことが期待されることがしばしばあるという観察に基づく。 一つの豊饒圏において、対象の任意の対に付随する射集合は、よくわからない「射対象」("hom-objects"; ホム対象) の成す何らかの固定されたモノイド圏(「射圏」; "hom-category"; ホム圏)の対象に置き換えられる。 通常の圏における射の(結合的な)合成を再現するためには、射圏は射対象の間に定義される結合的な合成を持たなければならない。 つまり、少なくとも、射対象の間の二項演算がモノイド圏の構造から導入される必要がある。 文脈によってはその演算が可換であったり、右随伴を持ったりすることがあり得るし、それが必要とされる場合もある(それにより圏が対称モノイド圏や、さらにモノイド閉圏となる)[要出典]。 したがって豊饒圏論は広く多様な構造を同じ枠組みに包摂するものである。そのような構造として以下のようなものが挙げられる:
射対象全体の成す圏が集合の圏に通常のデカルト積を備えたモノイド圏となっているときを考えれば、その場合の豊饒圏、豊穣函手などは、通常の圏論における通常の定義に基づく、圏、函手などに帰着される。 モノイド圏 M に射対象を持つ豊饒圏を M 上の豊饒圏 (enriched category over M) や M における豊饒圏 (enriched category in M) あるいは M で豊饒化された圏 (category enriched by M) や簡単に M-豊饒圏 (M-enriched category) もしくはもっと簡単に M-圏 (M-category) などと呼ぶ。マクレーンはモノイド圏を表すのに文字 V を使っていたから、豊饒圏のことも一般に V-圏と呼ぶこともある。 定義モノイド圏 (M, ⊗, I, α, λ, ρ) に対して、豊饒圏(考えているモノイド圏を明示する場合には、M 上の豊饒圏、M-(豊饒)圏)C は、
からなる。一つ目の図式は、「合成」の「結合律」を表すもので、通常の圏における合成の結合性を射圏 M における結合子 α が図式 を可換にすることに置き換える。 射圏 M が集合の圏でモノイド構造 (⊗, I, α, λ, ρ) がデカルト積と終対象となる一点集合の定める構造 (×, {•}, id, id, id) の場合には、各射対象 C(a, b) はその各元が C の「個々の射」となる集合(通常の圏の射集合)と考えられ、また ∘ は写像として連続する射の合成を定めるもの(通常の圏の射の合成)と捉えることができる。この場合、上にあげた「一つ目の図式」において C(a, d) へ至る各経路が、三連続する個々の射 a → b → c → d(各々 C(a, b), C(b, c) および C(c, d) からとった元である)の二種類ある合成の仕方の各々に対応し、図式の可換性がその二種類の合成順によって結合の結果が変わらないこと(という通常の圏でまさに要求される条件)を主張するものになっている。 このように図式にして考えることの何が新しいのかといえば、結合律を課すことを豊饒圏 C の個別の射を陽に出すことなく言い表しているという点である。射圏 M における射に関するこれらの図式(C 内の図式ではない)は、合成の結合性の概念を一般の場合にも意味を為すようにするために存在する(一般の場合には、射対象 C(a, b) は抽象的に与えられ(集合のように「元を持つ」とは限らないから)、豊饒圏 C 自身は個々の射の概念を持つ必要さえ一切ないのである)。 さて通常の圏が恒等射を持つという概念は、「単位律」を表す左および右単位子 λ, ρ に関する二番目と三番目の図式 および で置き換えられなければならない。 再び M がデカルト積を備えた集合の圏の場合に立ち返れば、恒等射 ida: I → C(a, a) は一点集合 I からの写像となり、従ってそれは、与えられた任意の対象 a に対し各集合 C(a, a) の特定の一元を同定するものでなければならないが、それを 「a ∈ ob(C) に対する恒等射」であるものと考えることができる。すると、上記二つの図式の可換性は、そのように識別された各「C 内の恒等射」の(写像 ∘ の定義する)合成が、通常の圏において要求される単位律の通り振る舞うことを主張するものになっていることがわかる。 さてここで複数の相異なる「恒等射」の概念が出てきているので振り返っておく:
豊饒圏の例
モノイド函手との関係モノイド圏 M からモノイド圏 N へのモノイド函手が存在すれば、任意の M-豊饒圏を N-豊饒圏と読み替えることができる。任意のモノイド圏 M は集合の圏へのモノイド函手 M(I, –) を持つから、任意の豊饒圏はその台となる通常の圏を持つ。(上で述べたような)多くの例においてこの函手は忠実であり、その場合の M-豊饒圏は通常の圏において追加の構造や性質を備えたものとして記述することができる。 豊饒函手豊饒函手 (enriched functor; 豊饒化された函手)は通常の函手の概念の豊饒圏に合わせて一般化した概念である。したがって、豊穣函手は豊饒圏の間の豊饒構造を保つ対応になっている。 C および D をモノイド圏 M に対する M-豊饒圏とするとき、M-豊饒函手 T: C → D とは C の各対象を D の対象に写し、各対 a, b ∈ ob(C) に対して C と D の射対象(それらは M の対象である)の間の M の射 Tab: C(a, b) → D(T(a), T(b)) が存在して、豊饒化された意味での函手の公理(つまり恒等射と合成を保つ)を満たすときに言う。 豊饒圏において射対象は集合とは限らないから、個々の射に関して言うことはできず、恒等射だとか具体的な二つの射の合成という概念を持ち出すわけにはいかないので、その代わりに恒等射を選択することと解釈できるモノイド単位対象から射対象への射と射の合成と解釈できるモノイド積からの射を考えるのであった。通常の函手の公理は、それと対応するいまいったような射を含む可換図式で置き換えられる。 より詳細に述べれば、一つは図式 が可換となることであり、これは等式で書けば と書ける。ただし I は M のモノイド単位対象である。これは通常の函手 F に対する条件 F(ida) = idF(a) に対応する。いま一つは、図式 が可換となることであり、これは通常の函数に対する条件 F(fg) = F(f)F(g) に対応する。 関連項目参考文献
|