第5章 普遍性
最初の方は定義を引用するだけとします。
①終対象と始対象
定義 5.1 圏 の対象
が、
の任意の対象
に対して
から
への射がただ一つ存在するとき、
を
の終対象と呼びます。この一意的な射を
と書きます。
の反対圏
の終対象を
の始対象と呼びます。
終対象(始対象)は存在するとは限らず、一意的でもありませんが、存在すれば同型となります。これを同型を除いて一意と言います。
集合圏 では、終対象は「一点のみからなる集合」、始対象は空集合となります。
量系の圏 では、量
のみからなる量系が終対象かつ始対象となります。このような対象を零対象と呼びます。
②積と余積
定義 5.2 圏の対象 に対して、対象
、射
、射
の三つ組
が
の積であるとは、対象
、射
、射
の三つ組
に対して
、
を満たす射
がただ一つ存在することを言います。このとき対象
を
と書き、射
を(この本では)
と書きます。
を射影と呼びます。
では集合の直積が積、
では集合の直積で定まるものとなります。
定義 5.3 圏の対象 に対して、対象
、射
、射
の三つ組
が
の余積であるとは、対象
、射
、射
の三つ組
に対して
、
を満たす射
がただ一つ存在することを言います。このとき対象
を
と書き、射
を(この本では)
と書きます。
を入射と呼びます。
では集合の「非交和」が余積、
では
と
が同型となります。
③積関手
積を持つ圏 において、射
と射
に対して
から
への射で、
、
を満たすただ一つの射(
の積)
が存在します。
積を持つ圏 において、任意の対象
に対して「
と積をとる関手」
が、任意の対象
に対しては対象
を、任意の射
に対しては射
を対応させるものとして定義できます。
は同型を除いて一意に定まるので一つを選ぶことで定義することができます。この関手は
から
自身への関手(
上の自己関手)となります。
各対象 に対して
から
への射影
を対応させる対応付けは、関手
から
上の恒等関手への自然変換となります。
④線型代数の土壌
この項は後で見ていくことにします。
⑤極限と余極限の例
この項は後で見ていくことにします。できれば図式を使わずに説明したいと思います。
⑥射圏,そして一般射圏
- 圏
を「対象を一つだけ持ち、射としてその対象の恒等射のみを持つ圏」
- 圏
を「対象を二つ持ち、射としてその対象の恒等射の他に一方の対象から他方の対象への射(射を
とします)を一つだけ持つ圏」
とします。
- 圏の対象
に対して、圏
からの関手で圏
の対象を
に
- 圏の射
に対して、圏
からの関手で圏
の恒等射ではない射を
に
対応させるものが存在します。
「射を対象とする圏」は「圏 から
への関手を対象とする圏」、すなわち
とみなすことができます。圏
から
への関手
に対して 射
が
によって
、
によって
に写されるとします。自然変換
は
\begin{CD}
X @> f >> Y \\
@V t_0 VV @VV t_1 V \\
X' @>> f' > Y'
\end{CD}
が可換となるので の射は「図式を可換にするような射の組
」と考えられます。このような圏を射圏と呼びます。
この射圏の概念を一般化したものがコンマ圏(「圏論の道案内 ~矢印でえがく数学の世界~」では「一般射圏」)となります。
定義 5.7 、
、
を圏、
を関手とします。
の対象
、
の対象
、
の射
を、三つ組
で表します。これらを対象として、
から
への射としては、
の射
と
の射
の組
で
\begin{CD}
F(X) @> f >> G(Y) \\
@V F(\alpha) VV @VV G(\beta) V \\
F(X') @>> f' > G(Y')
\end{CD}
を可換にするものを考えます。この圏をコンマ圏(「圏論の道案内 ~矢印でえがく数学の世界~」では「一般射圏」)と呼び、(Wikipediaによる。「圏論の道案内 ~矢印でえがく数学の世界~」では「
」)と表します。
⑦極限,余極限の定義
定義 5.8 圏 から圏
への関手のことを
型の図式と呼びます。
圏 の任意の対象
に対して、圏
の任意の対象を
に、任意の射を
の恒等射
に対応させる関手が存在します。この関手を
への定関手と呼びます。定関手は
の対象となります。
対角関手 とは、
から
への関手で、
の対象
に対して
への定関手を対応させるものです。
の射
は定関手
から定関手
への自然変換
に写されます。
のすべての成分が
であるとします。
の任意の射
は定関手で恒等射に写されるので
\begin{CD}
X @> 1_X >> X \\
@V \Delta(f)_A VV @VV \Delta(f)_B V \\
Y @>> 1_Y > Y
\end{CD}
が可換である必要があります。これは のすべての成分が
であれば成り立ちます。
(1) 型の図式
は
の対象だから、圏
から
への関手と同一視すれば、一般射圏
を考えることができます。
の終対象を極限と呼びます。双対的に
の始対象を余極限と呼びます。圏
が有限個の対象、射から構成されているとき、特に有限極限、有限余極限と呼びます。
(2)「圏論入門 - Haskellで計算する具体例から」の定義では、 型の図式
に対して、
の対象
(錐の頂点と呼びます)、
のすべての対象
に対して射(射影と呼びます)
で、任意の
の射
に対して
(以下の図式が可換。「錐の条件」)であるものを、
から
への錐と呼び、
と書きます。
\begin{CD}
A @> p_j >> D(j) \\
@| @VV D(f) V \\
A @>> p_k > D(k)
\end{CD}
圏 を、圏
の任意の対象
から
への錐を対象とし、錐
から錐
への射は
の射
で、任意の
の対象
に対して
(以下の図式が可換。「射の条件」)であるものを射とする圏とします。(「圏
の射の合成」を射の合成をとして圏
が圏となることが図式からわかります。)
\begin{CD}
A @> p_j >> D(j) \\
@V u VV @| \\
A' @>> q_j > D(j)
\end{CD}
圏 に終対象があるとき、その終対象、あるいはその終対象の頂点を
型の図式
の極限と呼びます。
「 を圏
(対象を
とする)から
への関手と同一視」したものを
とします。(1) の
は、
の対象
、
の(ただ一つの)対象
、
の射
からなる三つ組
を対象として、
から
への射としては、
の射
と
の(ただ一つの)射
の組
で
\begin{CD}
\Delta(A) @> p >> D = D'(X)\\
@V \Delta(u) VV @| \\
\Delta(A') @>> p' > D = D'(X)
\end{CD}
を可換とする射(「 の射の条件」)からなる圏となります。
は自然変換
であるから、
の対象
に対して成分
は
で
の射
に対して
\begin{CD}
A @> p_j >> D(j) \\
@| @VV D(f) V \\
A @>> p_k > D(k)
\end{CD}
を可換とするものとなります。これは (2) の「錐の条件」と同じものとなります。
「 の射の条件」から
\begin{CD}
A @> p_j >> D(j) \\
@V u VV @| \\
A' @>> p'_j > D(j)
\end{CD}
は可換となります。これは (2) の「射の条件」と同じものとなります。
よって (2) の は圏となり、
に終対象が存在することと
に終対象が存在することは同値となります。
の終対象の
は
の終対象の頂点となります。
(3) (Wikipediaでは) 対象 から
への錐
であって、任意の錐
に対して射
が一意的に存在して
の任意の対象
に対して
を満たすとき、錐
または対象
を
型の図式
の極限と呼びます。
このとき、錐 は (2) の定義の圏
の終対象、対象
はその頂点となります。