日記 (2018 年 8 月 30 日)

今回から 2-圏における極限を扱っていこうと思う。まずは簡単のため、 2-関手と 2-自然変換のみを考え、一般の 2-弛緩関手や 2-弛緩自然変換については触れないでおく。

2-圏は Cat-豊穣圏だから、 2-圏における極限としては Cat-豊穣圏での重み付き極限を考えれば良い。では、改めて定義を述べよう。

定義 4.1.

2-小圏 󰒡 と 2-圏 󰒚 に対し、 2-関手 F:󰒡→󰒚,W:󰒡→Cat があるとする。ある 󰒚 の対象 L が存在し、任意の 󰒚 の対象 A に対して、圏の同型 [A,L]󰒚≅⟦W,[A,F-]󰒚⟧󰒡→Cat が A に関して自然に成り立つとき、 L を W を重みとする F の 2-「極限 (limit)」といい、 limWF で表す。

この定義中の同型の右辺は、 σ:W⇒[A,F-] という形の 2-自然変換とその間の自然調整が成す圏であるが、今後の議論のため、この形の 2-自然変換に名前を付けておこう。

定義 4.2.

2-小圏 󰒡 と 2-圏 󰒚 および 2-関手 F:󰒡→󰒚,W:󰒡→Cat をとる。 󰒚 の対象 A に対して、 2-自然変換 σ:W⇒[A,F-] を F と W に関する「柱 (cylinder)」という。

通常の圏における極限が普遍性をもつ錐で特徴付けられたのと同様に、 2-圏における 2-極限も普遍性をもつ柱として特徴付けられる。ただし、 2-圏には 1-射と 2-射があるため、普遍性も 1 次元的なものと 2 次元的なものの 2 つから成る。

定義 4.3.

2-小圏 󰒡 と 2-圏 󰒚 および 2-関手 F:󰒡→󰒚,W:󰒡→Cat に対し、柱 η:W⇒[L,F-] が以下の条件を満たすとする。

任意の柱 σ:W⇒[A,F-] に対し、ある 󰒚 の 1-射 f:A→L が一意に存在し、 2 つの図式 󰒡Cat󰒡W[A,F-]ηf∗󰒡Cat󰒡W[A,F-]σ は等しい。ここで、 2-自然変換 f∗:[L,F-]⇒[A,F-] は、 󰒡 の各対象 I に対し、 (f∗)I: [L,FI] ⟶ [A,FI] h ⟼ h∘f α ⟼ α∗f で定義されるものとする。

このとき、 η は「1 次元的普遍性 (one-dimensional universality)」を満たすという。

定義 4.4.

2-小圏 󰒡 と 2-圏 󰒚 および 2-関手 F:󰒡→󰒚,W:󰒡→Cat に対し、柱 η:W⇒[L,F-] が 1 次元的普遍性を満たし、さらに以下の条件を満たすとする。

任意の柱 σ,τ:W⇒[A,F-] と任意の自然調整 Ξ:σ⇛τ に対し、ある 󰒚 の 2-射 α:f⇒g が一意に存在し、 2 つの図式 󰒡Cat󰒡W[A,F-]ηf∗g∗α∗󰒡Cat󰒡W[A,F-]στΞ は等しい。ここで、 󰒚 の 1-射 f,g は η の 1 次元的普遍性によりそれぞれ σ,τ から得られるものとする。さらに、自然調整 α∗:f∗⇛g∗ は、 󰒡 の各対象 I において、通常の自然変換 (α∗)I:(f∗)I⇒(g∗)I:[L,FI]→[A,FI] をもつが、これは 󰒚 の 1-射 h:L→FI に対し、 (α∗)I,h:=h∗α:h∘f⇒h∘g:A→FI で定義されるものとする。

このとき、 η は「2 次元的普遍性 (two-dimensional universality)」を満たすという。

簡単に言ってしまえば、ある柱 η が 1 次元的普遍性を満たすとは、他のどんな柱も η との合成で得られるということであり、 η が 2 次元的普遍性を満たすとは、他のどんな柱の間の自然調整も η との左髭結合で得られるということである。

さて、この 2 種類の普遍性を満たす柱は 2-極限を定める。

命題 4.5.

2-小圏 󰒡 と 2-圏 󰒚 に対し、 2-関手 F:󰒡→󰒚,W:󰒡→Cat があるとする。このとき、

ある柱 η:W⇒[L,F-] が 1 次元的普遍性と 2 次元的普遍性をともに満たすならば、 limWF は存在し、 L≅limWF が成り立つ。
L:=limWF が存在するならば、圏の同型 [L,L]≅⟦W,[L,F-]⟧ が成り立つが、これにおいて idL に対応する柱 η:W⇒[L,F-] は 1 次元的普遍性と 2 次元的普遍性をともに満たす。

がともに成り立つ。

証明.

概略だけ述べる。

柱 η:W⇒[L,F-] が 1 次元的普遍性を満たすとする。任意に柱 σ:W⇒[A,F-] をとると、 η の 1 次元的普遍性によって、 󰒚 の 1-射 f:A→L が得られる。さらに別の柱 τ:W⇒[A,F-] をとり、これと対応する 󰒚 の 1-射を g:A→L とする。ここで、自然調整 Ξ:σ⇛τ をとると、今度は η の 2 次元的普遍性によって、 󰒚 の 2-射 α:f⇒g が得られる。これらの対応により、通常の関手 ⟦W,[A,F-]⟧ ⟶ [A,L] σ ⟼ f Ξ ⟼ α♤ が定まることが容易に分かる。さらに、この対応は普遍性の定義から 1 対 1 なので、これは圏の同型を与える。したがって、 L≅limWF が成り立つ。

次に、 L:=limWF が存在したとする。このとき、 󰒚 の対象 A に対して、圏の同型 ⟦W,[A,F-]⟧≅[A,L] が成り立つが、式 ♤ と同じ対応によって、 η に関する 1 次元的普遍性と 2 次元的普遍性が要求する 󰒚 の 1-射や 2-射が得られる。これらが実際に普遍性が要求する条件を満たすかどうかは、上の同型の A に関する自然性から分かる。

参考文献

G. M. Kelly (1989) 「Elementary observations on 2-categorical limits」『Bulletin of the Australian Mathematical Society』 39:301–317