今回から, 圏論について述べていこうと思います. Heyting 代数の話の中でも, 一部で圏論の一般論を適用してきましたが, それらを改めて確認する意味も込めて, 今回は
- 圏の定義
- 函手・自然変換
- 米田の補題
- 随伴函手
- 余極限と極限
を見ていきたいと思います.
圏の定義
をクラス*1とします.
を部分クラスとし, クラス関数 が与えられているものとします. のとき と書き, が定義されている(defined)と言います. のときは は定義されていない(undefined)と言います.
と の組が以下の公理を満たすとき, これを圏(category)であると言います. また, このとき の要素を射(map)と言います.
公理 1. において以下が同値である.
- と が定義されている.
- が定義されている.
- が定義されている.
- と が定義されていて常に等しい().
公理 2. 以下を満たす を恒等射(identity map)という.
「 または の少なくとも一方が定義されるならば, その定義されているものは常に に等しい.」
いかなる に対しても, を満たす恒等射 が存在する.
命題 0.1. が恒等射で と がともに定義されているならば
(証明) となるから, 公理 1 により は定義され, である. ■*2
命題 0.1 と公理 2 は, 以下の性質を満たすクラス関数 が存在することを示唆します.
- は恒等射である.
- が定義されている.
- を が定義されている恒等射とすれば
同様に, 以下の性質を満たすクラス関数 も存在します.
- は恒等射である.
- が定義されている.
- を が定義されている恒等射とすれば
命題 0.2. ならば, かつその時に限り が定義される.
(証明) only if について. であるから, 公理 1 により が定義される. 一方 も定義されており, も も恒等射であるから
if について. とおくと と がともに定義されているので, 公理 1 により も定義される. ■
命題 0.3. が定義されるならば
(証明) と がともに定義されているので, 公理 1 により が定義されており である. も同様に示される. ■
ここで, クラス を, その要素が の恒等射と 1 対 1 に対応するようなものとします. の要素は対象(object)と呼ばれ, に対応する の要素を で表すことにします.
に対して が の値域(range)であるとは, であることと定義します. また, が の定義域(domain)であるとは, であることと定義します.
命題 0.2 と 0.3 は, 集合間の写像に対して期待される性質を圏論の言葉に翻訳しています.
今後は, 圏 とは, 上記の性質を満たしているようなクラス と の組 であると考えることにします. とりわけ, 圏 の対象, ないし射であることを強調するときは と表記することにします.
に対して, を, 定義域が かつ値域が であるような射 の全体からなるクラスとします. であるとき, と表記します. しばしば と表記したり, また射 の表記を省略して単に と表記することもあります.
と の合成を と表記します. の代わりの表記として, 以下の可換図式を用います.