圏論における普遍性と普遍射
数学における普遍性の概念は、どういうものなのか一言で説明しにくいものだけど、圏論では普遍射を使って定義するのが普通。
と思ったら、『ベーシック圏論』は副題(訳書での追加?)が「普遍性からの速習コース」だけど、本文中に普遍射という言葉がそもそも出てこない。普遍元は出てくるけど、これも脇役的な扱いという感じがする。
目次:
1. 普遍性と普遍射の説明
1.1. n次元ベクトル空間に関する普遍性
n次元ベクトル空間Vを取る。(スカラーKは何でも良いのでひとつ固定して考える。例えばK=ℝとしておく。) 次にVの基底(a1、…、an)を何でもよいので一つ取る。
このときベクトル空間Vは次のような性質を持っている。
この時、集合{a1、…、an}からWへの写像
は、常にただひとつの仕方で、VからWへの線形写像
に拡張できる。
(なぜなら、写像が線形性を満たすためには、 k1a1+…+knan∈Vに対して、
と定義するしかないから。)
よって、上の性質は次のようにも言える。この性質を指して、ベクトル空間Vは {a1、…、an}に対して普遍性を持つ、と言われる。
ただこれだけだと、fととの間にどのような関係があるかを言っていないので、そこをもう少し正確に述べる必要がある。
1.2. 普遍射
上の性質で、ベクトル空間Wは好きに取って良かったので、WとしてV自身を取る。すると
がちょうど1対1で対応する。
ここで、VからVへの線形写像として、恒等写像1Vを取る。するとこの線形写像に対応する{a1、…、an}からWへの写像は、包含写像 (各akにakを対応させて集合をVに埋め込む写像)となっている。
このηを使うと、 fとの関係は、
この関係を数式で表すと普通は関数合成を「∘」で表して、
と表記される。でも、関数合成に「∘」を使うと
と を合成すると となる。
のように、関数の順番がひっくり返った形になるので、関数合成される順番を入れ替えた演算子「⊳」を導入する。これを使うと
と を合成すると となる。
と表記される。また普通の関数合成「∘」と同じ意味で「⊲」も使うことにする。*1
導入した「⊳」を使うと、fとの関係は、
となる。
またこの関係は「次の図が可換図式になる」と言うこともできる。*2
結局、問題の普遍性は次のように述べられる。
ベクトル空間Wを好きに取る。この時、
集合{a1、…、an}からWへの写像
と、
VからWへの線形写像
とは、
を可換図式にする関係によって、ちょうど1対1に対応する。
さてここまでの話で
「集合{a1、…、an} はVの基底なのだから、{a1、…、an}に対して普遍性を持つのはVだけ」
だと思えるかもしれない。けれどもそうではない。
すると、このUとηに対しても上の関係が成り立つことを確認できる。つまりn次元のベクトル空間ならどれでも写像ηをうまく取れば上の普遍性を持っている。
さらに、集合{a1、…、an}の方もVの基底である必要は全く無く、n要素の集合ならどれでも良いことも分かる。
よってn次元ベクトル空間Vとn要素の集合Sがあったとき、適切な写像η: S→Vが必ずあり、次が成り立つ。
ベクトル空間Wを好きに取る。この時、
集合SからWへの写像
と、
VからWへの線形写像
とは、
を可換図式にする関係によって、ちょうど1対1に対応する。
つまり
- ベクトル空間Vがn次元 ⇔ ベクトル空間Vは、n要素の集合に対して上記の普遍性を持つ。
が成り立っている。
1.3. 内側からの特徴付け、外側からの特徴付け
ここまで述べてきたベクトル空間についての普遍性は、ベクトル空間の次元について普通とは違う特徴付け(あるいは定義)を与えている。
- 「ベクトル空間Vの次元がn」の通常の定義: 1次独立になるn個のベクトルを取れるけど、n+1個は取れない。
- これは、ベクトル空間Vの内側にあるものだけで特徴づけられている。
- 「ベクトル空間Vの次元がn」に対する普遍性による特徴付け: ベクトル空間Vはn要素の集合に対して普遍性を持つ。
- これが成り立つかどうかは、ベクトル空間Vの内部だけでは決まらず、Vとその他あらゆるベクトル空間との関係で決まる。
この場合に限らず、普通は内部構造によって定義されている概念が、普遍性を用いて外側から特徴付けたり定義したりできる場合がある。この「外部から視点」「他との関係性」で特徴づけを与える、というのが普遍性を考えるひとつの効用になる。
1.4. 普遍性の定式化
上に出てきた可換図式は、圏論的には少し不純な感じがある。
Sは集合、fは一般的な(集合間の)写像、VとWはベクトル空間、ηとは線形写像というように、集合の圏Setの話とベクトル空間の圏VecKの話が混ざって出てきている。
そこでVecKからSetへの忘却関手Gを考える。(普通、忘却関手はUで表すけど、何となくGを使う。) 忘却関手Gは、
となる。
この忘却関手Gを使うと、問題の普遍性は次のように述べられる。
- f ∈ Set(S, G(W)) と
- ∈ VecK(V, W)
が、以下を可換図式にする関係 (つまりの関係)で1対1対応する。
以下、普遍性の例をいくつかあげていく。
2. 例: 集合の直和とベクトル空間の直和
2.1. 集合の直和
集合Aと集合Bの直和A⊔Bというのは、Aの要素とBの要素に重なりがないとみなして(もし同じ要素があればそれらを区別して)和をとったもの。例えば、 A={1, 2, 3, 4}、B={3, 4, 5, 6}の場合、
A⊔B = {1, 2, 3, 4, 3', 4', 5, 6}
とか、
A⊔B = {1A, 2A, 3A, 4A, 3B, 4B, 5B, 6B, }
のように表すことができる。
数学の本では、(必要なら要素をあらかじめ取り替えて)A∩B=∅として和集合A∪Bを取ることも多いので、「直和」としてはっきり出てくる機会は少ないかもしれない。プログラミング言語における直和型(Haskellでの代数的データ型、Rustでの列挙型)といった方が通じやすいかもしれない。
2.2. ベクトル空間の直和
ベクトル空間Aとベクトル空間Bの直和A⊕Bは、直積A×Bと同じもの。(a1,b1)∈A×Bと(a2,b2)∈A×Bの和は、(a1+a2, b1+b2)と定義され、(a, b)∈A×Bのスカラーk倍は、(ka, kb)と定義される。同じものが直「和」とも呼ばれ直「積」とも呼ばれるので、線形代数で登場したとき地味に混乱するところ。
また別の直和の定義も出てくる。
ベクトル空間Vの部分ベクトル空間A、Bについて「どのv∈Vも、Aの要素av∈AとBの要素bv∈Bによって一意に v = av+bvと表される」とき、VはAとBの直和V=A⊕Bである、と言う。
2.3. 直和の持つ普遍性
まず集合の直和について見てみる。
なんでも良いので集合Cを取って、集合AからCへの写像fA: A→Cと、集合BからCへの写像fB: B→Cを取る。
このとき、A⊔BからCへの写像f: A⊔B→Cで、
- Aの要素x∈A⊂A⊔Bについては fAの値と一致する。 f(x)=fA(x)
- Bの要素x∈B⊂A⊔Bについては fBの値と一致する。 f(x)=fB(x)
となるものが、ただひとつ存在する。
また逆に、A⊔BからCへの写像fがあると、写像をA上、B上に制限することで、AからCへの写像とBからCへの写像がただひとつ決まる。つまり、
が、ちょうど1対1で対応する。これが集合の直和A⊔Bの持つ普遍性になる。
普遍射はどうなるかというと、A⊔BからA⊔Bへの恒等写像に対して、それに対応する写像 と が普遍射になる。これらはAとBからA⊔Bへの包含写像になる。
よって、次の図が可換図式になるように、(fA,fB) ⇔ f が決まる。
これが集合の直和の持つ普遍性になる。
次にベクトル空間の直和A⊕B (=A×B)について見る。
ベクトル空間Cを取り、ベクトル空間AからCへの線形写像fAと、ベクトル空間BからCへの線形写像fBを取る。このとき、 ベクトル空間A⊕BからCへの線形写像fが
(a,b)∈A⊕B について、 f((a,b)) = fA(a) + fB(b)
で一意に決まり、逆にf: A⊕B→C に対しては
fA(a) = f((a,0))、 fB(b) = f((0,b))
によってfA、fBが定まり、(fA,fB) ↔ f が、ちょうど1対1で対応する。
また、もうひとつの直和である「どのv∈Vも、av∈A、bv∈Bによって一意にv=av+bvとなるとき、V=A⊕B」の場合を見ると、 fA: A→C、fB: B→C に対して、
v=av+bv∈A⊕B について、f(v) = fA(av) + fB(bv)
でf: A⊕B→C が一意に決まり、f: A⊕B→C に対して、
fA(a) = f(a)、 fB(b) = f(b)
でfA、fBが定まり、やはり (fA,fB) ↔ f が、ちょうど1対1で対応する。
普遍射も集合の場合と同じように決まり、次が可換図式となる。
このように集合の直和とベクトル空間の直和は、(内部構造から見ると異なった定義が行われているけれど)外側からの視点(普遍性)から見ると、どちらの直和も同じ形の普遍性によって特徴づけられることが分かる。
2.4. 圏論的な定式化
直和を考えている圏をCとする。つまり集合の直和ならC=Set、ベクトル空間の直和ならC=VecKとする。
もうひとつ(C,C)という圏を取る。これは(C,C)の対象はCの対象の組(A,B)からなり、射はCの射の組(f1, f2)からなるような圏。
そしてCから(C,C)への関手として対角関手Δを取る。対角関手Δは、Δ(A) = (A,A)、Δ(f) = (f,f) とするような関手。
これらを使うと、直和の持つ普遍性は次の図で表される。今までfだった所を に書き換えた。(これでひとつの関数を表している。)
3. 例: 商集合
3.1. 商集合の作り方
商集合の復習から始める。
ある集合Sの要素同士の間に何らかの同値関係 〜 が入っているとする。
例えば S=ℤ(整数全体)として、この集合に
a〜b aを5で割った余りとbを5で割った余りが等しい。 ⇔ a-bは5で割り切れる。 ⇔ a-b ∈ 5ℤ
という関係を定義すると、これは同値関係になる。
このとき、同値になるもの同士をそれぞれひとまとめにする(同値類にまとめる)ことで得られる集合を、Sの商集合といって S/〜 などと表記する。上で定義した「整数を5で割った余り」による同値関係の場合、同値関係を集合 5ℤ が定めているので、商集合は ℤ/5ℤ とも書かれる。
この例では商集合は
ℤ/5ℤ = { {..., -10, -5, 0, 5, 10, 15, ...},
{..., -9, -4, 1, 6, 11, 16, ...},
{..., -8, -3, 2, 7, 12, 17, ...},
{..., -7, -2, 3, 8, 13, 18, ...},
{..., -6, -1, 4, 9, 14, 19, ...}}
のように分割される。
しかし商集合を考えるとき、多くの場合は、要素の分割や分類が目的ではない。
ℤ/5ℤを考える場合も、実際に欲しいのは、5要素からなる集合でそこに足し算や掛け算のような代数演算が入ったものなので、気分の上では、同値類を潰した(あるいは代表要素を取った) {0,1,2,3,4} のような集合を考えていて、ℤ/5ℤの各要素が無限集合だということは意識していない。
別の例として、ℝ(実数全体)に、
a〜b aとbの差が整数 ⇔ a-b ∈ ℤ
という同値関係を入れて商集合 ℝ/ℤ を考える場合も、別に実数を分類したいわけではなく、実際に考えているのは、要素としては
[0, 1) = {x∈ℝ | 0≦x<1}
という集合と同じもので、ただし1と0が貼り合わされて輪っかにようにつながっているようなものだったりする。
したがって多くの場合「同値関係にもとづいて分類する(同値類に分ける)」というのは実は商集合にとって本質的な部分ではなく、代数演算だったりつながり方(位相)だったりを定めるための標準的な手順(実装)に過ぎず、実際にはそれと同じ代数構造や位相構造が入ってさえいればどんな集合を取ってもかまわない。そこで商集合を普遍性から見てみる。
3.2. 商集合の持つ普遍性
商集合S/〜は、おおまかなイメージとしては、Sの要素のうち同値関係を持っているもの同士はひとつにまとめてそれを潰してできる集合。この商集合S/〜の持つ普遍性を考える。
何でもいいので集合Tを取って「SからTへの写像」と「 S/〜からTへの写像」の関係を見る。
まずS/〜からTへの写像gがあったとき、それをもとにSからTへの写像を作るのは簡単にできる。Sの要素xは潰れてS/〜のいずれかの要素[x]になるので、つぶれた先の要素でのgの値を使ってと決めれば、写像: S→Tが定まる。
一方、SからTへの写像fがあったときに、それをもとにしたS/〜からTへの写像はひとつには決められない。なぜなら x∈S/〜を取ったとき、それに対応しているSの要素は複数ありえて、それらの要素についてfの値が違っている場合、どのfの値をとするかについて複数の選択があるので写像は一意に決められない。
しかしもしも写像fが「a〜bならば、f(a)=f(b)」という性質を持っているなら、S/〜からTへの写像を一意に決められる。
また、さっきの写像g: S/〜→Tから作ったを見てみると、このも「a〜bならば、f(a)=f(b)」という性質を持っていることが分かる。ということは、
は、ちょうど1対1で対応する。これがS/〜の持つ普遍性になる。
普遍射 η: S → S/〜 は、Sの各要素xを潰した先[x]∈S/〜に対応させる写像となり、次の可換図式が満たされる。
普遍性の視点(外側からの視点)では、商集合がどう構成されたか(同値類を取ったのか代表元を選んだのか等々)という部分には注目しない。
この例のように、普遍性は、集合を構成するというやり方とは異なるやり方・見方を与えてくれる(こともある)。ただし普遍性を考えても必ずしも分かりやすくなるとは限らない。例えばテンソル積は「形式的な線形和からなる集合を作ってさらに商集合を取る」という構成による定義にしても、普遍性による定義にしても、どちらにしても初見ではあまり分かりやすい感じはしない。
3.3. 普遍要素による定式化
商集合を圏論的に定式化するやり方の一つは、コイコライザー(余等化子)によるもの。
同値関係を表す集合R = {(x,y)∈(S,S)| x〜y}を考え、Rの要素の第1成分を返す写像p1: R→S、第2成分を返す写像を取ると、商集合S/〜はp1とp2のコイコライザーと定義できる。そしてコイコライザー(より一般に極限・余極限)についての普遍性は関手の圏を使って表せる。
しかし説明が大変なので、いくらか省略した図を示すだけで説明は略す。
代わりに普遍要素に使った定式化をする。
普遍要素というのは、普遍射の特別な場合にすぎなくて、次の形の普遍性における普遍射ηのこと。ここではAが普遍性を持つ対象。
集合の圏では、「1要素集合{*}から集合Sへの射」と「集合Sの要素」が1対1で対応するので、この図を集合の要素の形に書き換えると、
となる。さらにも、 と書き換えられる。
よって普遍要素を用いて普遍性を定義すると次のようになる。
どのB∈Cについても、
- f ∈ G(B)
- ∈ C(A,B)
が、 の関係で1対1対応するとき。
普遍性をこのように定義すると、一般の普遍射のときより分かりにくくなった感じもする。しかし、関手Gが集合の圏への関手なので、G(A)は集合、G(g)は写像(集合から集合への写像)という形で定義されるので、普遍性に応じて圏をあれこれ定義するより簡単になる場合もある。
商集合S/〜の持つ普遍性は、
が、を満たす関係で、1対1対応する。
に合わせるには、 関手Gは写像gに対しては、 G(g) = (⊳g) と定義すればよい。
ここで (⊳g) は、引数hに対して、h⊳g を返すような関数。このとき となる。
あとは「SからTへの写像 f∈C(S, T) のうち「a〜bならば、f(a)=f(b)」となるもの」がG(T)と一致すればよいので、関手Gは次のように定義すればよい。
- 圏Cの対象Tに対して、 G(T) = { f∈C(S,T) | a〜b ならば f(a)=f(b) } 。
- 圏Cの射に対して、 G(g) = (⊳g) 。
外部からの視点(普遍性の視点)では、このように定義した関手Gに対して普遍性を満たすものが商集合S/〜ということになる。
4. 例: 核(カーネル)と余核(コカーネル)
線形写像 f: A→B に対して、その核Ker(f)と余核Coker(f)を考える。
核はたぶんそれなりに多くの線形代数の本に載っているはずで、
Ker(f) = {x∈A | f(x)=0}
と定義される。(つまり、Ker(f)は、Aの要素のうちfの行き先が0になるものからなる。)
一方、線形代数の本に余核が出てくることはほとんどないと思うけど、出てくる場合はたぶん
Coker(f) = B/Im(f)
と定義されている。(B上の同値関係を a〜b ⇔ f(a)=f(b) ⇔ a-b∈Im(f) で定義して、商集合を取ったもの。)
しかし、この余核の定義を核の定義と比べてみても、核に対する「余」(co)という感じがしない。*4
これは核と余核の持つ普遍性を見るとすぐに分かる。
まず核は次の形の普遍性を満たす。(ここで核の普遍射ηは、頭文字を小文字にした ker(f) と表記されることが多い。)
つまりどんなベクトル空間Cを取っても、
が、上の関係でちょうど1対1対応する。
g⊳f=0 となるg: C→Aがあったとき、Im(g)⊂Ker(f)⊂Aなので、写像gの終域をKer(f)に縮めて考えることができて線形写像が得られる。
一方、: C→Ker(f) があったとき、Ker(f)⊂A なので、終域をAだと思えばそのままCからAへの線形写像gが得られる。この写像gがIm(g)⊂Ker(f)となっていてとなることも分かる。
このgととの変換は、写像の持っている情報を落とさずに終域を変化させているだけなので、それぞれ互いの逆変換になり1対1に対応する。)
通常の定義のKer(f)={x∈A | f(x)=0} は当然Aの部分集合だけど、普遍性で特徴付けれたKer(f)はAの部分集合である必要はない。核の普遍射η: Ker(f)→A は単射(モニック射)になる。普遍性の視点では、部分集合A⊂Bの関係はだいたい単射A→Bに置き換わる。
一方、余核の普遍性は次の図で表される。この図は核の普遍性の図の矢印を逆向きにし(て図の向きを左右入れ換え)た形になっている。(また核のときと同様に、余核の普遍射ηは、頭文字を小文字にした coker(f) と表記されることが多い。)
ここで
f⊳g = 0 ⇔ Im(f)⊂Ker(g) ⇔ 「a-b∈Im(f) ならば a-b∈Ker(f)」
なので、同値関係a〜bを「a〜b ⇔ a-b∈Im(f)」で定義すると、
a〜b ⇔ a-b∈Im(f) ⇒ a-b∈Ker(f) ⇔ f(a-b)=0 ⇔ f(a) = f(b)
であることから、「f⊳g = 0」⇔「a〜b ならば、f(a)=f(b)」(商集合の普遍性に出てきた条件)となる。
このため、B/Im(f) は余核の普遍性を満たすことになる。
圏論的には、Ker(f)はfとゼロ射のイコライザー、Coker(f)はfとゼロ射のコイコライザーとして定義できるけど、説明は略する。
5. 例: ベキ集合
集合Aから集合Bへの写像全体からなる集合をベキ集合と呼び、BAとか(A→B)とか[A→B]みたいに表記される。ベキ集合が満たす普遍性を考える。(圏論では射の集まり(≒写像の集合)が初めから理論に組み込まれているけれど、集合の圏における 射の集まりSet(A,B) は 対象(≒集合) とは別種のものなので、対象としてのベキ集合[A→B]を特徴づけるには普遍性を経由する必要がある。)
あるいは という写像gとうまい具合に1対1で対応するような写像がないか考えると、をアンカリー化したものがちょうど望みのものになっている。(カリー化、アンカリー化の説明は略する。)
2引数関数f: C×A→B をカリー化すると1引数関数 : C→[A→B] が得られ、逆に1引数関数 g: C→[A→B] をアンカリー化すると2引数関数 : C×A→B が得られて、これらは逆の操作になっている。(これは集合から集合への写像の場合の話。ベクトル空間と線形写像ではこの関係は成り立たない。線形写像f:C×A→Bをカリー化したものは線形写像ではなくなる。)
ラムダ記法を使って書けば
- f: C×A→B をカリー化したものは、
- g: C→[A→B] をアンカリー化したものは、
となる。
写像間の1対1対応が見つかったので普遍射を求める。
g: C→[A→B] のCとして C= [A→B] を取り、gとして恒等写像 1: [A→B]→[A→B] を取り、それをアンカリー化した: [[A→B]×A]→B が普遍射となる。 このは、
のように、f: A→B と a: A を受け取って f(a) を返す。つまりこのは関数適用をおこなう関数になっている。Lispのfuncall、apply関数、Schemeのapply関数、Haskellの$演算子(application operator)にあたるので、この普遍射をapplyと呼ぶことにする。(ただし圏論では普通この射をevalと呼ぶ。)
さらに可換図式を作るために少し工夫がいる。
applyは、 という写像だけど、これは写像 とつないでを考えることができない。
そこで、をA上の恒等写像1Aと合わせて、 としてやると、が考えられる。
ベキ集合[A→B]の満たす可換図式は次のように書ける。
またこの図は、applyを使ってfのカリー化を説明する図と見ることもできる。
ベキ集合[A→B]の普遍性を関手を使って定式化すると、
- 対象Cに対して (×A)(C) = C×A
- 射gに対して(×A)(g) = g×1A
とする関手 (×A): C→C を使って次のように書ける。
6. 例: 像(イメージ)
核と余核のところで写像の像Im(f)が出てきたので、一応これにも触れておく。
アーベル圏では(ベクトル空間の圏もアーベル圏の一種)、射fの像Im(f)は普遍射 im(f)=ker(coker(f))で定義される。
しかし、ただの集合間の写像には核や余核は定義されないので、この定義は使えない。
普遍性の視点(圏論の視点)では、部分集合を考えることと単射(モニック射)を考えることがだいたい同じになることに注目する。
集合Sに部分集合A⊂Sがあれば包含写像(これは単射になる) m: A→Sが考えられるけど、普遍性の視点ではAとSの間に単射mが存在することの方が重要でAがSの部分集合であることはあまり意味がない。核の所に出てきたように、普遍性から見た場合、Ker(f)はAの部分集合である必要はない。
像Im(f)の持つ普遍性は、まず部分集合(と包含写像)について成り立つ性質を調べて、それを一般的な集合(と単射)に拡張することで得られる。
写像f: A→Bの像Imf(f)は、通常の集合的な定義では当然Bの部分集合になる。このとき、写像fを
のようにふたつの写像eとm(包含写像)に分解して とできる。
ここでeは、fの終域をIm(f)に縮めたもので、mはIm(f)からBへの包含写像。
また、Im(f) ⊂ C ⊂ Bであるような部分集合Cを取ると、これと同様にfを
と分解することができる。
一方、Bの部分集合Cが Im(f) ⊂ C ⊂ B を満たさない場合は、fの終域をCに縮めようとするとfの出力情報の一部が削れられるので、この分解はおこなえない。
よって、Im(f)は、この形の分解ができるような部分集合Cのうち最小のもの、として特徴づけることができる。
Im(f)を経由して分解したときの写像を
のように名前をつけておく。f = η⊳im(f) 。
ここで、Bの部分集合Cを取って、
というfの分解 f = e⊳m があったとする。このとき、 上で見たようにIm(f) ⊂ C ⊂ B を満たすので、
という包含写像が存在する。 。
逆にIm(f)から部分集合Cに包含写像が存在すれば(つまりIm(f) ⊂ C ⊂ Bなら)、fをと分解する写像eが存在する。
よって、Bの部分集合Cを取る(この時、包含写像m:C→Bが決まる)と、
の、(e,m) ⇔ がちょうど1対1で対応している。(Im(f)⊂Cでない場合は、eとのどちらも存在しないので、その場合も含めて1対1対応が成り立つ。)
この1対1対応の関係はCを任意の集合として、包含写像を単射(モニック射)に置き換えても成り立っていて、それがIm(f)を特徴づける普遍性となる。
この普遍性を可換図式で書く上で
という形の表記を導入する。これはに情報を付加したもので、次のことを示している。
この表記を使うとIm(f)は次の普遍性を満たす。
この図だけ見ても分かりにくいけど、この図で次のことが示されている。
- 左辺: fが、 に分解される。
- 上辺: fが分解 を持つ。
- 下辺: im(f): Im(f)→B が、 に分解される。
- 可換図式: eと は、 の関係で対応する。(ただしこの関係は、他の関係式とmが単射であることから導かれる。)
ということを示している。
これを関手を使った形で定式化しようとすると、スライス圏C/Bとその部分圏で単射(モニック射)だけからなるような圏を導入する必要があるので説明は省略。
7. 普遍射を使わない定式化と表現可能関手
ここまで、次の関係が成り立つということによって普遍性を扱ってきた。
(ただし、この後の都合により に置き換えた。
この図は、 と が1対1で対応し、その間の対応関係が普遍射ηによって
となることを示している。この の対応関係をηを使わないで示す仕方がある。
上の図は、Bとして何を取ってもよく、gについても何を取っても成り立つ。
そこで別のCと、 写像 g⊳h: FA→C を取ると、次の図が得られる。(関手の性質 G(g⊳h)=G(g)⊳G(h) を使った。)
この図の上の部分が表している関係
には普遍射ηが現れていない。
そして普遍射を使う代わりに、
の関係が任意のB、C、g、hについて成り立つことを普遍性の条件とすることができる。
その場合、B=F、g=1FA: FA→FA を取った時の が普遍射になる。
さらにこの の関係は、
が可換になる、と言い換えられる。
写像 を θBと表すことにすると、
となる。
関手D(FA, -) と関手C(A,G( -)) を考えると、 D(FA,h) = (⊳h) かつ C(A,G(h)) = (G(h)⊳) なので、上の関係は、θB、θC、…をまとめたものが、関手D(FA, -) から関手C(A,G( -)) への自然変換になることを表している。
自然変換θを構成する各θBが逆写像を持つので、
D(A,G( -)) ≅ C(FA, -)
となり、関手D(A,G( -)) は表現可能関手でFAによって表現される。
また普遍性を関手Gと普遍要素で表した場合、同様に変形していくと
G ≅ C(A, -)
となり、関手Gが表現可能関手でAによって表現される、という形になる。
よって、普遍性を関手の表現可能性によって定義することができる。
*1:通常、「⊳」「⊲」は正規部分群を表す記号だけど混乱することはたぶんないと思う。
*2:数式モードで複雑な図が描けない(描き方が分からない)のでこの描き方になった。普通は、Wはひとつだけで、矢印をななめに描く。
*3:また「Aが関手Gについて普遍性を持つ ⇔ Gは表現可能関手で C(A, - ) ≅ G」が成り立つ。7節で説明。
*4:「Ker(f)は、Aのうちで、fによってBに影響をあたえなかった部分(fで0に写った部分)」、「Coker(f)は、Bのうちで、fによってAから影響を受けなかった部分(影響を受けた部分Im(f)を0に潰した残り)」と説明すると何となく逆の関係のようにも感じられるけど。