楽しい圏論(その 2)
一ヶ月ほど間が空いてしまいましたが, ようやくブログを書ける状態になってきたので再開します.
函手の定義
を二つの圏(の射のクラス)とします. クラス関数 は, 以下の二つの公理を満たすとき, 函手(functor)であると言います.
- が の恒等射ならば は の恒等射である.
- において が定義されているならば において が定義されており, である.
をそれぞれ に対応する対象のクラスとするとき, に対して を
なる対象と定めることにより, はクラス関数 を導きます.
前回, 射の値域と定義域の話をしました. を満たす のことを と, また を満たす のことを と書くことにします.
命題 0.4.
(証明)*1
は恒等射で, かつ が定義されているから 同様に 以上から従う. ■
タネ本
何だか射の話ばかりが出てきて, 多分他の書籍で圏論を知った人は驚くかも知れませんが, これでちゃんと理論になっています. この方法にはタネ本があります.
- 作者: Peter Freyd
- 出版社/メーカー: Joanna Cotler Books
- 発売日: 1966/12
- メディア: ハードカバー
- この商品を含むブログを見る
(自分が持っているものとは出版社が違いますが, 中身は多分同じ ?)
この本では, 今回のようなやり方で圏と函手を定義しています.
特殊な圏
以下, 頻繁に(?)使用する特殊な圏をいくつか定義します.
射のクラスが空集合である圏を空圏と言い, で表します. もちろん, 空圏には対象も存在しません.
射のクラスがただ一つの恒等射だけからなる圏を で表します.
射のクラスが二つの恒等射 と, 恒等射ではないただ一つの射 の三つの元からなる集合である圏を で表します. これは後で述べるように, 集合 に通常の大小関係で定まる順序を入れた順序集合を圏とみなしたものと同じです.
射のクラスが
- 三つの恒等射
- 恒等射でない二つの射 とその合成
の 6 個の元からなる集合である圏を で表します. これも後で述べるように, 集合 に通常の大小関係で定まる順序を入れた順序集合を圏とみなしたものと同じです.
射のクラスが, 二つの恒等射 と恒等射でない二つの射 からなり, かつ であるものとします. この圏は で表します.
順序集合は圏である
が順序集合であるとは, 台集合 と関係 の組 が以下の条件を満たすことでした.
- (反射律) ただし は対角集合.
- (反対称律) ただし は逆関係.
- (推移律) ただし は関係の合成.
そこで, を射の集合として, 射の合成を で定めると, これを圏とみなすことができます. なる対応によって, を対象の集合とみなすことができます.
このことを使うと, 通常の数の大小関係による順序付けでもって
となることがわかります.
対象は函手であり, 射は函手である.
圏 の対象は函手 とみなすことができます. また の射は函手 とみなすことができます.
*1:タネ本では「特に証明することはない」と書いていますが, ざっくりと説明しておきます.