環や加群など、ある特定の対象を一斉に扱うことを可能にする概念が圏である。圏においては個々の対象よりも、その間の結びつきから全体像を捉えることに主眼が置かれる。

圏の定義と例

定義圏（category）とは以下の条件を満たす対象（object）と射（morphism）により構成される。

射 ${ f }$ に対しドメイン（domain）と呼ばれる対象 ${ \mathrm{dom}f }$ とコドメイン（codomain）と呼ばれる対象 ${ \mathrm{cod}f }$ が一意的に存在する。これを ${ f:\mathrm{dom}f\rightarrow\mathrm{cod}f }$ や ${ \mathrm{dom}f\xrightarrow{f}\mathrm{cod}f }$ などと表す。
射 ${ f, g }$ に対し ${ \mathrm{dom}g=\mathrm{cod}f }$ なら合成（composition）と呼ばれる射 ${ g\circ f:\mathrm{dom}f\rightarrow\mathrm{cod}g }$ が一意的に存在する。
合成は結合的である。即ち ${ A\xrightarrow{f}B\xrightarrow{g}C\xrightarrow{h}D }$ に対し ${ h\circ(g\circ f) = (h\circ g)\circ f }$ が成り立つ。
任意の対象 ${ X }$ に対し恒等射（identity）と呼ばれる射 ${ \mathrm{id}_{X} }$ と呼ばれる射が存在し、 ${ A\xrightarrow{f}X\xrightarrow{g} }$ に対し ${ \mathrm{id}_{X}\circ f=f, g\circ\mathrm{id}_{X}=g }$ が成り立つ。

最後の ${ \mathrm{id}_{X} }$ は一意的である。

圏 ${ C }$ に対し対象全体を ${ \mathrm{Ob}( C ) }$ 、射全体を ${ \mathrm{Mor}( C ) }$ と書く。また対象 ${ X, Y\in\mathrm{Ob}( C ) }$ の間の射全体を ${ \mathrm{Mor}_{ C }(X, Y):=\lbrace f\in\mathrm{mor}( C ) \mid X\xrightarrow{f}Y \rbrace }$ と表す。

我々は基礎論をやっているわけではないから、上の定義がどのようにして正当化されるかどうかを気にする必要はない。この文章では、あくまで言葉として導入しているに過ぎないことを述べておく。ただ圏は従来の集合論では扱うことのできなかった「集合全体の集まり」など広い概念も含んでいる。これは定義から分かるように、対象よりも射に着目することで成し得たことである。それと引き換えに対象から元を取る操作は基本的にできないので注意しておこう。

圏 ${ C }$ は ${ \mathrm{Mor}( C ) }$ が集合のとき局所的に小さい（locally small）と呼び、更に ${ \mathrm{Ob}( C ) }$ も集合のとき小さい（small）と呼ぶ。どちらでもないときは大きい（big）という。

前章までの内容より現れる圏の例を挙げる。以下 ${ R }$ は環、 ${ k }$ はベクトル空間とする。

空圏（empty category）とは、対象も射も無い圏である。
一点圏（one-point category） ${ \mathrm{pt} }$ とは、一点からなる対象 ${ \mathrm{Ob}(\mathrm{pt})=\lbrace \ast \rbrace }$ 及びその上の恒等射 ${ \mathrm{Mor}(\mathrm{pt})=\lbrace\mathrm{id}_{\ast}\rbrace }$ のみからなる圏である。
集合の圏 ${ \mathrm{set} }$ とは、対象を集合、射を写像とする圏である。
群の圏 ${ \mathrm{grp} }$ とは、対象を群、射を群の準同型とする圏である。
アーベル群の圏 ${ \mathrm{ab} }$ とは、対象をアーベル群、射を群の準同型とする圏である。
環の圏 ${ \mathrm{ring} }$ とは、対象を環、射を環準同型とする圏である。
体の圏 ${ \mathrm{field} }$ とは、対象を体、射を体準同型とする圏である。
${ R }$ -加群の圏 ${ R\mathrm{-mod} }$ とは、対象を ${ R }$ -加群、射を ${ R }$ -加群準同型とする圏である。
${ k }$ -ベクトル空間の圏 ${ k\mathrm{-fvect} }$ とは、対象を ${ k }$ -ベクトル空間、射を線型写像とする圏である。
${ R }$ -代数の圏 ${ R\mathrm{-aff} }$ とは、対象を ${ R }$ -代数、射を ${ R }$ -代数準同型とする圏である。

注意 ${ k\mathrm{-vect} }$ は有限とは限らないベクトル空間（線形空間）の圏、 ${ R\mathrm{-alg} }$ は可換とは限らない代数の圏に対して用いられるのが普通である。

空圏と一点圏は小さな圏である。それ以外に挙げた例は局所的に小さい。

圏 ${ C }$ の反転圏（opposite category） ${ C^{\mathrm{op}} }$ とは、対象を ${ C }$ の対象とし、射は ${ C }$ の射の向きを逆にしたものである。

射の性質

続いて射に対して定まる幾つかの性質を考えよう。

定義 ${ f:X\rightarrow Y }$ に対して以下を定める。

${ p, q:A\rightarrow X }$ に対して ${ f\circ p=f\circ q }$ なら ${ p=q }$ が成り立つとき、 ${ f }$ はモノ（monomorphism）と呼ぶ。
${ r, s:X\rightarrow B }$ に対して ${ r\circ f=s\circ f }$ なら ${ r=s }$ が成り立つとき、 ${ f }$ はエピ（epimorphism）と呼ぶ。
モノかつエピであるときバイ（bimorphism）と呼ぶ。

モノとモノの合成はモノである。また ${ g\circ f }$ がモノなら ${ f }$ はモノとなる。同様にエピとエピの合成はエピである。また ${ g\circ f }$ がエピなら ${ g }$ はエピとなる。

勘の良い人は、上の性質が写像の単射や全射が持つ性質と似ていることに気付くだろう。実際モノの定義は単射の定義とよく似ている。しかしエピは全射との類似性が見えないだろう。エピの定義は反転圏におけるモノの定義に一致するため圏論的な定義である。一方で全射性は元を取るため圏論的な発想に合わない。集合の圏 ${ \mathrm{set} }$ においては偶然一致する。

演習集合の圏においてモノと単射は同値、エピと全射は同値であることを示せ。また上記の圏において、モノ、エピに対応する概念を求めよ。

定義圏 ${ C }$ において ${ f:X\rightarrow Y }$ に対して以下を定める。

${ s:Y\rightarrow X }$ が存在して ${ s\circ f=\mathrm{id}_{X} }$ を満たすとき ${ f }$ を切断（section）と呼ぶ。
${ r:Y\rightarrow X }$ が存在して ${ f\circ r=\mathrm{id}_{Y} }$ を満たすとき ${ f }$ を引込（retraction）と呼ぶ。
${ g:Y\rightarrow X }$ が存在して ${ g\circ f=\mathrm{id}_{X}, f\circ g=\mathrm{id}_{Y} }$ を満たすとき ${ f }$ をイソ（isomorphism）と呼ぶ。

上の ${ g }$ は存在するならば一意的であり、これを ${ f^{-1} }$ と書く。またイソ ${ f:X\rightarrow Y }$ が存在するとき、 ${ X }$ と ${ Y }$ は同型（isomorphic）と呼び ${ X\cong_{C} Y }$ と書く。

イソとイソの合成はイソである。イソならバイであるが、逆は一般に成り立たない。射のドメインとコドメインが一致するとき自己射（endomorphism）と呼ぶが、特にイソのとき自己同型（automorphism）と呼ぶ。

定義圏 ${ C }$ において以下を定める。

対象 ${ X }$ は、任意の対象 ${ B }$ に対し ${ \mathrm{Mor}_{C}(X, B) }$ を一元集合とするとき始対象（initial object）と呼ぶ。
対象 ${ X }$ は、任意の対象 ${ A }$ に対し ${ \mathrm{Mor}_{C}(A, X) }$ を一元集合とするとき終対象（terminal object）と呼ぶ。
始対象かつ終対象であることを零対象（zero object）と呼ぶ。

始対象及び終対象は（従って零対象も）存在すれば同型を除き一意的となる。

圏 ${ C }$ に零対象 ${ 0 }$ が存在するとき、対象 ${ X, Y\in\mathrm{Ob}( C ) }$ の間に一意的な射 ${ X\rightarrow 0\rightarrow Y }$ が定まる。これを零射（zero morphism）と呼び ${ X\xrightarrow{0}Y }$ と書く。

演習以下を示せ。

集合の圏 ${ \mathrm{set} }$ において始対象は ${ \emptyset }$ であり、終対象は ${ \lbrace \emptyset \rbrace }$ である。故に集合の圏に零対象は存在しない。
加群の圏において零加群は零対象である。
環の圏において零環は終対象である。始対象は存在しない。

定義射 ${ f:X\rightarrow Y }$ に対し以下を定める。

対象 ${ \mathrm{Ker}(f) }$ 及び ${ f\circ i=0 }$ なる射 ${ i:\mathrm{Ker}(f)\rightarrow X }$ が次の普遍性を満たすとき、 ${ \mathrm{Ker}(f) }$ を ${ f }$ の核（Kernel）と呼ぶ。任意の対象 ${ A }$ 及び ${ f\circ g=0 }$ なる射 ${ g:A\rightarrow X }$ に対して、図式を可換にする射 ${ h:A\rightarrow \mathrm{Ker}(f) }$ が一意的に存在する。
反転圏における核を余核（Cokernel）と呼ぶ。つまり対象 ${ \mathrm{Cok}(f) }$ 及び ${ p\circ f=0 }$ なる射 ${ p:Y\rightarrow\mathrm{Cok}(f) }$ が次の普遍性を満たすとき、 ${ \mathrm{Cok}(f) }$ を ${ f }$ の余核と呼ぶ。任意の対象 ${ B }$ 及び ${ g\circ f=0 }$ なる射 ${ g:Y\rightarrow B }$ に対して、図式を可換にする射 ${ h:\mathrm{Cok}(f)\rightarrow B }$ が一意的に存在する。

核も余核も存在すれば同型を除き一意的である。このとき ${ i:\mathrm{Ker}(f)\rightarrow X }$ はモノ、 ${ p:Y\rightarrow\mathrm{Cok}(f) }$ はエピとなる。

定義射 ${ f:X\rightarrow Y }$ に対し核及び余核が存在するとする。

${ p }$ の核を ${ f }$ の像（Image）と呼び ${ \mathrm{Im}(f):=\mathrm{Ker}(p) }$ で表す。
${ i }$ の余核を ${ f }$ の余像（Coimage）と呼び ${ \mathrm{Coim}(f):=\mathrm{Cok}(i) }$ で表す。

普遍性より、自然な射 ${ \mathrm{Coim}(f)\rightarrow\mathrm{Im}(f) }$ が得られる。

線型圏とアーベル圏

加群の構造が入った特殊な圏を考える。考えている対象がアーベル圏を為すかどうかを考えることは研究において重要である。

定義 ${ X_{1}, X_{2} }$ を対象とする。

対象 ${ X }$ 及び射 ${ p_{j}:X\rightarrow X_{j} }$ の組が ${ X_{1} }$ と ${ X_{2} }$ の積（product）であるとは、任意の対象 ${ Y }$ 及び射 ${ f_{j}:Y\rightarrow X_{j} }$ に対し、 ${ f:Y\rightarrow X }$ が存在して ${ f_{j}=p_{j}\circ f }$ を満たすことをいう。
対象 ${ X_{1}, X_{2} }$ の余積（coproduct）とは、反転圏における積のことをいう。つまり対象 ${ X }$ と射 ${ i_{j}:X_{j}\rightarrow X }$ が ${ X_{1} }$ と ${ X_{2} }$ の余積であるとは、 ${ Y, g_{j}:X_{j}\rightarrow Y }$ に対し ${ g:X\rightarrow Y }$ が存在して ${ g_{j}=g\circ i_{j} }$ を満たすことをいう。

積も余積も存在すれば同型を除き一意的であり、 ${ X_{1}\prod X_{2}, X_{1}\coprod X_{2} }$ と表す。

集合の圏 ${ \mathrm{set} }$ において、積は集合の積 ${ X_{1}\times X_{2} }$ に相当する。一方で余積はそれぞれ別物と見なした和（例えば ${ (X_{1}\times\lbrace 1 \rbrace) \cup (X_{2}\times\lbrace 2 \rbrace) }$ ）になる。

ややこしいが、加群の直和は、加群の圏 ${ R\mathrm{-mod} }$ における余積である。（下で述べるように圏における直和は別に定義され ${ R\mathrm{-mod} }$ においては同型になる。）

積、余積の定義は自然に ${ n\ge 3 }$ 個に拡張でき、それぞれ有限積、有限余積と呼ぶ。特に ${ (X_{1}\prod X_{2})\prod X_{3} }$ と ${ X_{1}\prod (X_{2}\prod X_{3}) }$ 及び ${ X_{1}\prod X_{2} \prod X_{3} }$ は同型（結合性）であり、同様なことが余積に対しても成り立つ。（もちろん普遍性による定義とも同型になる。）

定義 ${ R }$ を環、 ${ C }$ を圏とする。 ${ \mathrm{Mor}_{C}(X, Y) }$ が ${ R }$ -加群であり、射の合成

${ \circ:\mathrm{Mor}_{C}(Y, Z)\times\mathrm{Mor}_{C}(X, Y)\rightarrow\mathrm{Mor}_{C}(X, Z) }$

が ${ R }$ -双線型であるとき、圏 ${ C }$ は ${ R }$ -前線型圏（pre-linear）と呼ぶ。

例えば、 ${ R }$ -代数 ${ A }$ は、対象を一点 ${ \ast }$ 、射を ${ a\in A }$ として合成を ${ A }$ における積で定めると ${ R }$ -前線型圏となる。

定義 ${ C }$ を ${ R }$ -前線型圏、 ${ X_{1}, X_{2} }$ をその対象とする。対象 ${ X }$ 及び射 ${ i_{j}:X_{j}\rightarrow X }$ 及び射 ${ p_{j}:X\rightarrow X_{j} }$ が ${ X_{1} }$ と ${ X_{2} }$ の直和（direct sum）であるとは、 ${ p_{j}\circ i_{j}=\mathrm{id}_{X_{j}} }$ 及び ${ i_{1}\circ p_{1}+i_{2}\circ p_{2}=\mathrm{id}_{X} }$ を満たすことをいう。

直和も存在すれば同型を除き一意的であり、 ${ X_{1}\oplus X_{2} }$ で表す。

有限直和も有限積などと同様に定義でき、結合性も成り立つ。

一般に ${ R }$ -前線型圏が零対象を持てば、積、余積、直和の存在は同時に成り立ち、特に存在すれば同型となる。特に ${ X\oplus 0\cong X \cong 0\oplus X }$ が成り立つ。

定義 ${ R }$ -前線型圏 ${ C }$ は、零対象を持ち、任意の有限積が存在（従って有限余積、有限直和も存在）するとき ${ R }$ -線型（linear）であると呼ぶ。

${ R }$ -線型圏 ${ C }$ において、任意の射 ${ f }$ に対し核 ${ \mathrm{Ker}(f) }$ 及び余核 ${ \mathrm{Cok}(f) }$ が存在し、（従ってその像 ${ \mathrm{Im}(f) }$ 及び余像 ${ \mathrm{Coim}(f) }$ も存在し）自然な射 ${ \mathrm{Coim}(f)\rightarrow\mathrm{Im}(f) }$ がイソとなるとき、 ${ R }$ -アーベル圏（abelian category）と呼ぶ。