日記 (2018 年 8 月 2 日)

普通の圏論においては、 小圏 󰒚 と圏 󰒛 の間の関手と自然変換は新しい圏を成す。 これと同じようなことが、 実は豊穣圏に関しても成り立つ。 ただし、 ある豊穣圏の対象が関手であるという言及はできても、 豊穣圏の射全体は一般に集合ではないので、 ある豊穣圏の射が自然変換であるという言及はそのままではできない。 したがって、 何らかのものを射とする豊穣圏とはそもそもどういう意味なのか明確にする必要がある。

定義 3.1.

モノイダル圏 󰒭 の元 X に対し、 Hom󰒭(1,X)X台集合 (underlying set) という。

この定義により、 ある 󰒭-豊穣圏 󰒚 の射対象 [A,B] が何らかの数学的概念全体であるという言及に対し、 その台集合 Hom󰒭(1,[A,B]) がその数学的概念全体の集合であるという意味付けができる。

なお、 台集合が同型だからといって、 もともとの対象が同型というわけではない。 さらに、 台集合を与える関手 Hom(1,-):󰒭Set は、 充満ではないし、 一般に忠実にすらならない。 すなわち、 台集合の情報だけでもとの対象が決定できるわけでは全くない。

さて、 これによって豊穣関手と豊穣自然変換が新たな豊穣圏を成すという言明に意味をもたせることができた。 この圏を構成するため、 まずは与えられた豊穣関手 F,G に対し、 F から G への豊穣自然変換全体を台集合にもつ対象を構成する。

命題 3.2.

完備対称モノイダル閉圏 󰒭 をとり、 󰒭-豊穣小圏 󰒚󰒭-豊穣圏 󰒛 およびその間の 󰒭-豊穣関手 F,G:󰒚󰒛 を考える。 ある 󰒭 の対象 F,G󰒚󰒛 が存在して、 集合の同型 Hom󰒭(1,F,G󰒚󰒛){󰒭-豊穣自然変換 γ:FG} が成り立つ。

証明.

󰒚 の対象 B,C に対し、 合成 [B,C]󰄖A󰒚[FA,GA][FB,FC][FC,GC][FB,GC]FBCprCcFB,FC,GC とテンソル積の随伴で対応する射を pBC:󰄖A󰒚[FA,GA][B,C][FB,GC] とおく。 この射たちは、 p:󰄖A󰒚[FA,GA]󰄖B,C󰒚([B,C][FB,GC]) を定める。 同様にして、 󰒚 の対象 B,C に対し、 合成 󰄖A󰒚[FA,GA][B,C][FB,GB][GB,GC][FB,GC]prBGBCcFB,GB,GC とテンソル積の随伴で対応する射を qBC:󰄖A󰒚[FA,GA][B,C][FB,GC] とおき、 これらが定める射を q:󰄖A󰒚[FA,GA]󰄖B,C󰒚([B,C][FB,GC]) とする。 これによって平行な射が 2 本できたので、 等化子 N󰄖A󰒚[FA,GA]󰄖B,C󰒚([B,C][FB,GC])pq を計算する。 この N が存在を示したい対象になっている。

実際、 Hom(1,-):󰒭Set は表現可能関手なので極限を保存するため、 Hom(1,N)󰄖A󰒚Hom(1,[FA,GA])󰄖B,C󰒚Hom(1,[B,C][FB,GC])p-q-Set で等化子の図式になっている。 したがって、 同型の違いを除いて Hom(1,N) は、 󰒚 の対象 A に対する射 γA:1[FA,GA] たちの族 (γA)A󰒚 であって、 p(γA)A󰒚=q(γA)A󰒚 を満たすもの全体の集合である。 この等式は、 任意の 󰒚 の対象 B,C に対して、 pBC(γA)A󰒚=qBC(γA)A󰒚 が成り立つのと同値である。 さらにこの等式は、 テンソル積の随伴で対応する射を考えることにより、 [B,C]1[B,C]󰄖A󰒚[FA,GA][FB,FC][FC,GC][FB,GC]1[B,C]A󰒚󰄖A󰒚[FA,GA][FB,GB][GB,GC]idγσ[B,C],1FBCprCcFB,FC,GCγidprBGBCcFB,GB,GC の可換性と同値である。 この図式を少し書き換えれば、 [B,C]1[FB,FC][FC,GC][FB,GC]1[B,C][FB,GB][GB,GC]FBCγCσ[B,C],1cFB,FC,GCγBGBCcFB,GB,GC となり、 これは γ の自然性を表す図式そのものである。 以上により、 Hom(1,N){󰒭-豊穣自然変換 γ:FG} が成り立つ。

定理 3.3.

完備対称モノイダル閉圏 󰒭 をとる。 󰒭-豊穣小圏 󰒚󰒭-豊穣圏 󰒛 に対し、 󰒭-豊穣関手とその間の 󰒭-豊穣自然変換は 󰒭-豊穣圏を成す。

証明.

󰒭-豊穣関手 F,G:󰒚󰒛 の間の射対象を、 命題 3.2F,G とする。 あとは合成を表す射と恒等射を与える射を構成すれば良い。

まず、 󰒭-豊穣関手 F,G,H:󰒚󰒛 に対して射 cFGH:F,GG,HF,H を構成する。 󰒚 の対象 A に対し、 F,G󰄖A󰒚[FA,GA][FA,GA]prAmA とおく。 なお、 この合成における最初の射は、 等化子としての F,G の構造射である。 同様にして、 G,H󰄖A󰒚[GA,HA][GA,HA]prAnA とおく。 これらの射を用いて、 F,GG,H[FA,GA][GA,HA][FA,HA]mAnAcFA,GA,HA を考え、 これを sA とおく。 この sA たちは、 s:F,GG,H󰄖A󰒚[FA,HA] を定める。

さて、 任意に 󰒚 の対象 B,C をとる。 まず F,G について、 命題 3.2 で図式 の可換性を導いたのと同様にして、 [B,C]F,G[FB,FC][FC,GC]F,G[B,C][FB,GB][GB,GC][FB,GC]FBCmCσ[B,C],F,GcFB,FC,GCmBGBCcFB,GB,GC が可換であることが分かる。 したがって、 [B,C]F,GG,H[B,C]F,G[GC,HC][FB,FC][FC,GC][GC,HC]F,G[B,C]G,HF,G[B,C][GC,HC]F,G[GB,GC][GC,HC][FB,GB][GB,GC][GC,HC][FB,GC][GC,HC]F,G[GB,HC][FB,GB][GB,HC][FB,HC]idnσidFmidσidcididGnmGidmididccididccmidc は可換である。 実際、 右上の矩形部分は上の図式から可換であり、 右下の矩形部分は合成の結合性から可換で、 それ以外の部分はテンソル積の関手性から可換である。 したがって、 [B,C]F,GG,H[B,C]F,G[GC,HC][FB,FC][FC,GC][GC,HC]F,G[B,C]G,HF,G[GB,GC][GC,HC]F,GG,H[B,C][FB,GC][GC,HC]F,G[GB,HC][HB,HC]F,G[GB,HC][FB,GB][GB,HC][HB,HC][FB,GB][GB,HC][FB,HC]idnσidFmidcididσidGnidcidnHcmididcmididcc も可換になる。 実際、 左中央の矩形部分は図式 が可換であるのと同様にして可換であり、 左下の矩形部分はテンソル積の関手性から可換で、 右側の残りの部分は上の図式の外周そのものである。 そして、 この図式の外周は、 [B,C](F,GG,H)[FB,FC][FC,HC](F,GG,H)[B,C][FB,HB][HB,HC][FB,HC]FBCsCσ[B,C],F,GG,HcFB,FC,HCsBHBCcFB,HB,HC と書き換えられるから、 この図式も可換である。 すなわち、 F,H を等化子として定義するときに用いた 2 つの平行な射を p,q とすれば、 ps=pq が成り立つ。 よって、 等化子の普遍性により、 図式 F,H󰄖A󰒚[FA,HA]󰄖B,C󰒚([B,C][FB,HC])F,GG,Hpqs の左側の三角形部分を可換にする破線の射が唯一存在する。 これを cFGH と定めれば良い。

次に、 󰒭-豊穣関手 F:󰒚󰒛 に対して射 jF:1F,F を構成する。 任意の 󰒚 の対象 B,C に対し、 図式 [B,C]1[FB,FC][FC,FC]1[B,C][FB,FB][FB,FC][FB,FC]FBCjFCσ[B,C],1cFB,FC,FCjFBFBCcFB,FB,FC を考えると、 これは明らかに可換である。 したがって、 󰒚 の各対象 A に対して、 󰒛 の恒等射を定める射 jFA:1[FA,FA] たちが定める射を t:1󰄖A󰒚[FA,FA] とおけば、 上の議論と同様にして、 図式 F,F󰄖A󰒚[FA,FA]󰄖B,C󰒚([B,C][FB,FC])1pqt の左側の三角形部分を可換にする破線の射が唯一存在する。 これを jF と定めれば良い。

以上のデータにより、 󰒭-豊穣関手とその間の 󰒭-豊穣自然変換は 󰒭-豊穣圏を成す。 本来は合成の結合性なども示さなければならないが、 それを確認する気力が今はないので、 ここでは省略することにする。

定義 3.4.

完備対称モノイダル閉圏 󰒭 をとる。 󰒭-豊穣小圏 󰒚󰒭-豊穣圏 󰒛 に対し、 定理 3.3 で構成された 󰒭-豊穣圏を 󰒚,󰒛豊穣関手圏 (enriched functor category) といい、 Fun(󰒚,󰒛) で表す。

上で定義された圏は 󰒛󰒚 で表すこともある。 後々 2-圏を考えることになるのだが、 2-圏の間の関手は何種類かあるので、 それにしたがって関手圏も何種類か存在することになる。 󰒛󰒚 と書いてしまうとどの関手圏を表しているのか曖昧になってしまうため、 この日記シリーズでは、 添字などを付けて区別しやすい Fun(󰒚,󰒛) の方を使うことにする。

参考文献

  1. F. Borceux (1994) 『Handbook of Categorical Algebra: Volume 2』 Cambridge University Press