もう諦めない圏論入門―対象と射―

# 想定読者と到達目標

圏論に入門しようと定義などを眺めてみたものの
それより先に進む方法が分からない人へ向けて。

具体例を通して、抽象的な定義を受け入れつつ、
自分が何を分かっていないか分かるようにする。

大学数学の知識は特に仮定していないつもりなので、
「圏論を理解できないのは○○が分からないからだ」
みたいな自分自身に対する言い訳を排除したい所存。

ひとまず細かいことは気にせず雰囲気を掴んでおいて、
必要の際[^ただし]に詳細文献を読めるような下地作りが目標。

[^ただし]: そのような状況が訪れるかどうかについては考えないものとする。



# 目次

- [__圏論入門前の準備運動―集合と写像―__](https://qiita.com/norkron/items/237735106ee6e5333678)
- [__もう諦めない圏論入門―対象と射―__](https://qiita.com/norkron/items/f90d851daf05a2efa567)
	- 具体例を通して圏の定義を受け入れる
	- 直積と余直積に触れて圏を理解した気になる
- [__もう諦めない圏論入門―圏と関手―__](https://qiita.com/norkron/items/f0de364cc980171b1db7)
	- 具体例を通して関手の定義を受け入れる
	- Hom 関手に触れて関手を理解した気になる
- [__もう諦めない圏論入門―関手と自然変換―__](https://qiita.com/norkron/items/1cc1b593e04184f0fe98)
	- 具体例を通して自然変換の定義を受け入れる
	- 随伴関手に触れて自然変換を理解した気になる
- [__もう諦めない圏論付録―ストリング・ダイアグラム―__](https://qiita.com/norkron/items/e55a39c22288955689f9)
- [__もう諦めない圏論基礎―極限からカン拡張へ―__](https://qiita.com/norkron/items/681aed1323ac95431ea3)
- [__もう諦めない圏論基礎―モノイドからモナドへ―__](https://qiita.com/norkron/items/aff3ce925edc6be74923)
- [__もう諦めない圏論基礎―高次元圏と変換手―__](https://qiita.com/norkron/items/271b702a907f865aafc5)



# 圏の定義

まずは定義を見てみましょう。
具体例を考えたとき、それが圏の定義を満たしているのか、
確認したくなったらここに戻ってくれば良い。

確認を重ねるうちに定義には慣れてくるはずだ。

## 対象と射

対象[^Obj]の集まり $\mathrm{Obj}(\boldsymbol{C})$ と
射[^Mor]の集まり $\mathrm{Mor}(\boldsymbol{C})$ で構成される $\boldsymbol{C}$ を考える。

![有向グラフ](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/ae1aa180-a62f-a2c1-5319-d99a15575217.png)

対象を $\bullet$ で射を $\longrightarrow$ で描いている。

[^Obj]: Object
[^Mor]: Morphism

---

各々の対象 $a,b \in \mathrm{Obj}(\boldsymbol{C})$ に対して集合 $\boldsymbol{C}(a,b)$ が存在し、
その元 $f \in \boldsymbol{C}(a,b)$ を射 $f \colon a \longrightarrow b$ と呼ぶ。

![集合と射](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/43937515-cf44-50f2-bbae-3fec6e40e2e5.png)

左図と右図は同じものを表している。

![集合と自己射](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/512b8a58-f2d3-2454-382c-703a2d4d7e59.png)

のように集合 $\boldsymbol{C}(a,a)$ も存在するし、

![空集合](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/72424017-8356-0773-98bb-d663ee1dc5f1.png)

のように集合 $\boldsymbol{C}(a,b)$ は[空集合](https://www.google.com/search?q=空集合)でも良い。

---

つまり、各々の射 $f\in\mathrm{Mor}(\boldsymbol{C})$ に対して
始域[^dom] $\mathrm{dom}(f)\in\mathrm{Obj}(\boldsymbol{C})$ と呼ばれる対象と
終域[^cod] $\mathrm{cod}(f)\in\mathrm{Obj}(\boldsymbol{C})$ と呼ばれる対象が存在する。

![射](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/6d6f5078-6630-c2e8-6d7c-6bc451d2ebf6.png)

射 $\longrightarrow$ を描いたときは必ず矢尻と矢頭に対象 $\bullet$ が存在する。

[^dom]: domain
[^cod]: codomain

## 合成射

[直積集合](https://www.google.com/search?q=直積集合) $\boldsymbol{C}(a,b) \times \boldsymbol{C}(b,c)$ から集合 $\boldsymbol{C}(a,c)$ への
写像 $\ggg \colon \boldsymbol{C}(a,b) \times \boldsymbol{C}(b,c) \longrightarrow \boldsymbol{C}(a,c)$ が存在する。

![射を合成する写像](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/984b9923-256f-8544-b043-f3f94b0b0084.png)

元の対応を $\ggg \colon (f,g)\longmapsto f \ggg g$ と書く。

---

つまり、射 $f, g$ が $\mathrm{cod}(f)=\mathrm{dom}(g)$ を満たすとき合成射 $f \ggg g$ が存在し、
$\mathrm{dom}(f)=\mathrm{dom}(f \ggg g)$ かつ $\mathrm{cod}(f \ggg g)=\mathrm{cod}(g)$ である。

![射の合成](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/0f5b09d2-dcaa-b05c-7483-ad9099d6e7cd.png)

左図を描いたときは必ず右図のような合成射が存在する。
圏なら合成射は必ず存在するので図を描くときに省略してよい。

## 恒等射

集合 $\boldsymbol{C}(a,a)$ には恒等射[^id]と呼ばれる元 $\mathrm{id}\_{a}$ が必ず存在する。
つまり、各対象 $a \in \mathrm{Obj}(\boldsymbol{C})$ に恒等射 $\mathrm{id}\_{a} \colon a \longrightarrow a$ が存在する。

![恒等射](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/040fd815-2fa2-9cf7-1d3b-f38e5871c55f.png)

単位元的なものが複数あることを最初は不思議に思った気がする。
圏なら恒等射は必ず存在するので図を描くときに省略してよい。

[^id]: identity morphism

---

集合 $\boldsymbol{C}(a,a)$ の中に恒等射 $\mathrm{id}\_{a}$ が存在すれば良いだけなので、
恒等射以外に他の射があっても構わないことに注意しよう。

![恒等射と自己射](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/b745c565-cb28-a5fa-007e-f0d997ef4f6b.png)

また、集合 $\boldsymbol{C}(a,a)$ の元だからと言って
それが恒等射であるとは限らないことにも注意。

後に示す条件(単位律)を満たす射を恒等射 $\mathrm{id}\_{a}$ と呼ぶ。

## 圏

射 $f,g,h,\mathrm{id}\_{a},\mathrm{id}\_{b} \in\mathrm{Mor}(\boldsymbol{C})$ と対象 $a,b\in\mathrm{Obj}(\boldsymbol{C})$ に対して、
次の２つの条件を満たすとき、$\boldsymbol{C}$ は圏である。

1. （結合律）$(f \ggg g) \ggg h=f \ggg (g \ggg h)$ が成り立つ。
2. （単位律）$\mathrm{id}\_{a} \ggg f = f \ggg \mathrm{id}\_{b} = f$ が成り立つ。

[__モノイド__](https://qiita.com/norkron/items/237735106ee6e5333678#モノイド)では単一の集合 $S$ に関して
写像 $\diamond \colon S \times S \longrightarrow S$ や単位元 $e \in S$ を考えていたが、
圏では複数の集合 $\boldsymbol{C}(a,b),\boldsymbol{C}(b,c),\boldsymbol{C}(a,c),\boldsymbol{C}(a,a)$ に関して
写像 $\ggg \colon \boldsymbol{C}(a,b) \times \boldsymbol{C}(b,c) \longrightarrow \boldsymbol{C}(a,c)$ や
恒等射 $\mathrm{id}\_{a} \in \boldsymbol{C}(a,a)$ を考えることになる。

---

[結合律](https://www.google.com/search?q=結合律)は合成を施す順序が自由なことを意味する。
$f \ggg g = g \ggg f$ が成り立つ[交換律](https://www.google.com/search?q=交換律)との違いに注意しよう。

![結合律](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/f82768e1-5d99-5aaf-769d-5fe143e2a214.png)

左図を描いたときは右図のような合成射を１つ考えればよい。
合成する射の数が増えても同様である。

![合成の順序](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/2725fe9d-cd3d-55dd-21bc-763b1fe70741.png)

もし結合律が無ければこれらの射を区別しなければならない。
射の数が増えるとさらにやばい。ありがとう結合律。



# 圏の具体例

定義ばかりじゃ何も見えてこないので、
具体例を通して定義の理解を深める。

圏が定義できると何が嬉しいのかは置いておいて、
以下の例が圏なことを定義と照らし合わせ考えよう。

## 対象が型で射が関数な圏

Haskell の型を対象、Haskell の関数を射にすると圏になる
と言うのはどこかで見聞きしたことがあるかもしれない。

全ての型や関数を考えると理解が追いつかないので、
型は $\mathrm{Char}$ と $\mathrm{Int}$ と $\mathrm{Bool}$、関数は次の $\mathrm{f}$ と $\mathrm{g}$ と $\mathrm{h}$ に限定して考える。

---

Haskell の関数は Category の instance に標準でなっている。

```haskell:Hask
import Prelude hiding (id)
import Control.Category (id,(>>>))
import Data.Char

f :: Char -> Int
f = const 0

g :: Char -> Int
g = (+ (-65)) . ord

h :: Int -> Bool
h 0 = True
h _ = False

idChar :: Char -> Char
idChar = id

idInt :: Int -> Int
idInt = id

idBool :: Bool -> Bool
idBool = id
```

射の合成 `>>>` は関数合成で定義されている。

---

絵で描くとこんな感じになる。

![対象が型で射が関数な圏の内部構造](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/fdd3c15e-6054-d72f-747f-d12fcb08c62b.png)

関数の定義と絵がだいたい対応しているのが分かると思う。
この絵からは集合と写像が思い出されることだろう。

---

丸で囲まれた集合的な部分の複雑な構造を潰して点 $\bullet$ とみなすと

![対象が型で射が関数な圏](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/1db4f22c-87a1-6d67-ac31-7388d560b1b7.png)

のように単純な形が浮き彫りとなる。圏っぽさが増したと主張したい。
このように内部構造を気にせず済む感じがきっと大切なんだろうと思う。

合成射 $\mathrm{f} \ggg \mathrm{h}$ などを矢印 $\rightarrow$ として陽に描いてはいないが、
[__合成射__](#合成射)で見たように、一意に存在するため描画を省略している。

## 対象が自然数で射が自然数倍の圏

前の例は、値の集合からなる型が対象で、内部構造が複雑だった。
ここでは値がそのまま１つの対象となるような単純な圏を考える。

射を Category の instance にしようとすると対象は型である必要があるため、
圏としては単純でも Haskell 的な意味では少し難しくなってしまう。

[「GHCの型レベル自然数を理解する」(2020-04-20)](https://qiita.com/mod_poppo/items/3a37424d299a9f71b757)などを参考に、
自然数の値を１つの型として、それを自然数倍する関数を考える。

---

`f (Proxy :: Proxy 2) >>> f (Proxy :: Proxy 5) $$$ (Proxy :: Proxy 2)`
とすれば2を2倍の5倍した20が返って来ることを確認できるはずだ。

```haskell:Nat
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}

import Prelude hiding (id,(.))
import Control.Category
import GHC.TypeLits
import Data.Proxy

data Mor a b = Mor (a -> b)
($$$) (Mor f) = natVal . f
infixr 0 $$$

f :: Proxy i -> Mor (Proxy n) (Proxy (i*n))
f i = Mor $ \n -> Proxy

instance Category Mor where
    id = Mor $ \n -> n
    Mor g . Mor f = Mor $ \n -> g (f n)
```

---

絵で描くとこんな感じになる。

![対象が自然数で射が自然数倍の圏](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/1f685b8d-5904-c585-3959-eee6d661c494.png)

$1$ や $2$ などの数字は、それぞれ Proxy 1 や Proxy 2 などの型をあらわしている。
Int 値の集合である Int 型が対象となる場合との違いに注意すれば、
自然数と自然数倍が圏なことを理解できるのではないだろうか。

図中に $\mathrm{f}(2)$ と言う同じ名前の射が２つあるけれども、
ここでは型(すなわち始域と終域)が異なる射を別の射とみなす。
$\mathrm{f}(i)$ は射の族で、各対象 $n$ に対して射 $\mathrm{f}(i)_{n} \colon n \longrightarrow i*n$ が存在する。

## 対象１つで射が整数値の圏

これまでの例ではいずれも対象が型で射は関数だった。
ここでは射が関数ではないような圏を考える。

Haskell のユニット型 $()$ を唯一の対象、
Haskell の Integer 値を射とする。

Integer 型のある値を $i$ とすると、
$\mathrm{f}(i) \colon () \longrightarrow ()$ という射がたくさんある。

---

射の合成が加法で、恒等射は加法の単位元 $0$ とする。

```haskell:Monoid
import Prelude hiding (id,(.))
import Control.Category

data Mor a b = Mor Integer deriving Show

f :: Integer -> Mor () ()
f = Mor

instance Category Mor where
    id = Mor 0
    Mor i1 . Mor i2 = Mor $ i1 + i2
```

---

絵で描くとこんな感じになる。

![対象１つで射が整数値の圏](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/1243180b-caa2-ef70-dd54-442fcf70cd33.png)

恒等射以外にも、自分自身に戻ってくるような射がたくさんある。

ただし、この例では $\mathrm{id}_{()} = \mathrm{f}(-1) \ggg \mathrm{f}(1)$ および
$\mathrm{f}(2) = \mathrm{f}(1) \ggg \mathrm{f}(1)$ や
$\mathrm{f}(3) = \mathrm{f}(1) \ggg \mathrm{f}(1) \ggg \mathrm{f}(1)$ などが成り立つため、
合成射を陽に描かない場合には射が $\mathrm{f}(-1)$ と $\mathrm{f}(1)$ だけとなり、
射がたくさんあるというのは誤解を招くかもしれない。

Haskell のユニット型 $()$ を対象、
Haskell の String 値を射として、
射の合成が文字列の連結、恒等射は空文字
とする例が適切であったかもしれない[^宿題]。

いずれにせよ `mempty = id`、`(<>) = (.)`とすれば
射を Monoid の instance にすることができるはずだ。

[^宿題]: これは読者への宿題としておく(これが言いたい)。


# 直積と余直積

[__圏の定義__](#圏の定義)をある程度は理解したところで、
圏があると何が嬉しいのか、その片鱗を見てみたい。

圏がある場合に定義が可能となる直積[^product]と
その双対概念[^dual]である余直積を通して圏論を感じよう。

## 定義

<dl>
<dt>直積(product)</dt>
<dd>
対象 $a \times b$ および射 $\varepsilon_{a} \colon a \times b \longrightarrow a$ と $\varepsilon_{b} \colon a \times b \longrightarrow b$ の組であり、<br>
任意の対象 $x$ および２つの射 $\psi_{a} \colon x \longrightarrow a$と$\psi_{b} \colon x \longrightarrow b$ の組に対して、<br>
点線の射 $f \colon x \longrightarrow a \times b$ が一意に存在し次の図式が可換になる。
</dd>

<dt>余直積(coproduct)</dt>
<dd>
対象 $a + b$ および射 $\eta_{a} \colon a \longrightarrow a + b$ と $\eta_{b} \colon b \longrightarrow a + b$ の組であり、<br>
任意の対象 $x$ および２つの射 $\psi_{a} \colon a \longrightarrow x$ と $\psi_{b} \colon b \longrightarrow x$ の組に対して、<br>
点線の射 $f \colon a + b \longrightarrow x$ が一意に存在し次の図式が可換になる。
</dd>
</dl>

![直積と余直積の可換図式](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/98a1b261-9c78-fdad-ea4d-cea4d1997738.png)

## 直積集合と直和集合

急に絵を持ち出されて、可換になると言われても困るし、
そもそも可換が何を意味するのかすら分からない。

それでも、とにかく具体的な圏を考えて、
上記の定義が何を意味するのか探り当てよう。

まずは、[__対象が型で射が関数な圏__](#対象が型で射が関数な圏)の場合からだ。

---

直積の定義は直積集合を意味し、絵で描くとこんな感じになる。

![直積集合の内部構造](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/9f63ad1a-02a9-4a58-6a14-3b697899f60a.png)

直積集合の下位集合たちが赤や青や緑で描かれている。
任意の下位集合、すなわち任意の対象 $x$ に対し定義のような射が存在する。
実線の射が存在すれば、点線の射が一意に存在することが分かるだろう。

---

直積集合はタプルで済ませたが、直和集合は以下のデータ型を定義する。

```haskell:coproduct
data CharBoolFloat = C''' Char | B''' Bool | F''' Float deriving Show

data CharBoolFloatInt = C'' Char | B'' Bool | F'' Float | I'' Int deriving Show

data CharBoolInt = C' Char | B' Bool | I' Char deriving Show

data CharBool = C Char | B Bool deriving Show
```

---

余直積の定義は直和集合を意味し、絵で描くとこんな感じになる。

![直和集合の内部構造](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/be4ed5cf-4b1e-0e32-c41b-5400596fac3b.png)

直和集合の上位集合たちが赤や青や緑で描かれている。
任意の上位集合、すなわち任意の対象 $x$ に対し定義のような射が存在する。
実線の射が存在すれば、点線の射が一意に存在することが分かるだろう。

---

例によって、丸で囲まれた集合的な部分の複雑な構造を潰して点 $\bullet$ とみなすと

![直積集合と直和集合](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/eb78e08a-5416-6249-85b5-a7ce5ef38ad2.png)

のように、直積集合と直和集合が内部構造に触れることなく定義される。
直積集合と直和集合は、矢印を逆にした、互いに双対となっている。
まだ良くは分からないけど何か凄いことが起きているような気がしてくる。
矢印を逆にした、というと逆射かな？と思ってしまうがそれとは何か違う模様[^dual2]。

## 最大公約数と最小公倍数

次に、[__対象が自然数で射が自然数倍の圏__](#対象が自然数で射が自然数倍の圏)を考えよう。
直積は最大公約数を意味し[^gcd]、余直積は最小公倍数を意味する。
これ、分かりやすいと思うし、面白いと思うんですよね。

---

絵で描くとこんな感じになる。

![最大公約数と最小公倍数](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/da5cbc5e-9199-3617-f9ec-1dce8e87bf44.png)

なんと最大公約数と最小公倍数は互いに双対の関係だった。
直積が最大を、余直積が最小を、それぞれ絞り込む様が良く分かると思います。

## 可換図式

具体例を見て図式が可換になる雰囲気を感じたところで、
[__定義__](#定義)を振り返りつつ、可換図式が意味する所を理解したい。

---

図式を用いないで直積と余直積の定義を書くと以下となる。

<dl>
<dt>直積(product)</dt>
<dd>
対象 $a \times b$ および射 $\varepsilon_{a} \colon a \times b \longrightarrow a$ と $\varepsilon_{b} \colon a \times b \longrightarrow b$ の組であり、<br>
任意の対象 $x$ および２つの射 $\psi_{a} \colon x \longrightarrow a$と$\psi_{b} \colon x \longrightarrow b$ の組に対して、<br>
射 $f \colon x \longrightarrow a \times b$ が一意に存在し 
$\psi_{a} = f \ggg \varepsilon_{a}$ かつ $\psi_{b} = f \ggg \varepsilon_{b}$。
</dd>

<dt>余直積(coproduct)</dt>
<dd>
対象 $a + b$ および射 $\eta_{a} \colon a \longrightarrow a + b$ と $\eta_{b} \colon b \longrightarrow a + b$ の組であり、<br>
任意の対象 $x$ および２つの射 $\psi_{a} \colon a \longrightarrow x$ と $\psi_{b} \colon b \longrightarrow x$ の組に対して、<br>
射 $f \colon a + b \longrightarrow x$ が一意に存在し 
$\psi_{a} = \eta_{a} \ggg f$ かつ $\psi_{b} = \eta_{b} \ggg f$。
</dd>
</dl>

図を用いる定義とはそれぞれ最終行だけが異なり、
１つの可換図式が２つの等式をあらわしていることになる。

---

つまり、下記の図を可換図式として見る場合には、
等式 $h = f \ggg g$ が成り立つということを意味し、
また、単に図としてみる場合には、始域 $a$ で終域 $c$ な
異なる２つの射 $h$ と $f \ggg g$ が存在することを意味する。

![射の合成](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/8dde6558-bc29-dc25-c9d3-124fe699b02d.png)

今になって思えばただそれだけのことではあるけれども、
圏の定義を理解していない状態だと難しく感じた気がする。

上記の図では対象をあらわす点 $\bullet$ を描くことを省いているが、
これで十分に事足りることが分かるのではないかと思います。

---

また、下記の図のように射が点線になっている可換図式は、
等式 $h = f \ggg g$ を満たす $f$ を求めよという問いに対して
その答えがひとつだけ存在すると言うことを意味する。

![射の分解](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/d41f51e9-ca19-5a55-ee19-cd2122a9de83.png)

これを、射 $h$ の分解と言ったりするらしい。

## 極限と余極限

[__定義__](#定義)に従って具体例を考えてみたところ
確かに直積と余直積を感じることができた気がする。

でもまだ定義がややこしく思えて覚えられる気はしない。
そこで、次のように図を段階的に捉えてみよう。

1. 最初に対象 $a,b\in\mathrm{Obj}(\boldsymbol{C})$ を考える。
    ![極限と余極限1](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/712fa17e-7824-9574-fb5a-56914dc833ea.png)

2. ある対象をひとつ加え、1. の各対象への射(各対象からの射)を考える。
    (射の向きに応じて２つのパターン考えることができる。)
    ![極限と余極限2](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/f27d28e4-26f5-6b19-5e79-1dbd2787fb73.png)

3. 別の対象をひとつ加え、2. と同様な射を考える。
    ![極限と余極限3](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/22ae175f-7e75-2c9e-1cf5-179c7919a853.png)

4. ある対象と別の対象との間に点線の射を考える。
    (3. で加えた射を分解するような向きの射を考える。)
    ![極限と余極限4](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/268212/98a1b261-9c78-fdad-ea4d-cea4d1997738.png)

この捉え方をどうやら極限[^univ]や余極限と言うらしい。
最初の 1. を他の図に変えると他の概念が定義できる。

例えば、最初に対象 $a,b,c\in\mathrm{Obj}(\boldsymbol{C})$ を考えれば
直積 $a \times b \times c$ や直和 $a + b + c$ が定義できるはずだ。

極限の正式な定義[^lim]には[__関手__](https://qiita.com/norkron/items/f0de364cc980171b1db7#関手の定義)や[__自然変換__](https://qiita.com/norkron/items/1cc1b593e04184f0fe98#自然変換の定義)の理解が必要となる。



# まとめ

図を描くことに疲れ、かなり投げやりな感はあるけれど、
圏の定義を理解する助けには間違いなくなると信じたい。

大学数学の知識は特に仮定していないとは言いつつも、
抽象的な定義に触れた経験がないと厳しいと思われる。

ベクトルのことはみんな知ってるはずなので、
自分の知ってるベクトルが[__ベクトル空間の定義__](https://ja.wikipedia.org/wiki/ベクトル空間#定義)を
満たしていることを確認してみると良いかもしれない。



[^product]: [bitterharvest's diary「極限－圏論の積」(2017-11-25)](http://bitterharvest.hatenablog.com/entry/2017/11/25/094858)
[^dual]: [圏論 | 壱大整域「双対」(2019-03-27)](http://alg-d.com/math/kan_extension/)
[^dual2]: [tnomuraのブログ「双対 dual」(2014-07-14)](https://tnomura9.exblog.jp/20908111/)
[^gcd]: [bitterharvest's diary「極限－例：最大公約数」(2017-12-04)](http://bitterharvest.hatenablog.com/entry/2017/12/04/145400)
[^univ]: [圏論 | 壱大整域「普遍性」(2019-03-30)](http://alg-d.com/math/kan_extension/)
[^lim]: [圏論 | 壱大整域「極限」(2020-01-19)](http://alg-d.com/math/kan_extension/)