圏の定義
一般の圏はメタ圏とUniverseから定義される。
メタ圏
メタ圏は射と対象のみからなる。射のドメイン、余ドメインはともに対象であって以下を満たす。
- gのドメインとfの余ドメインが同じ対象であれば常に合成射が存在する。
- 射は結合法則を満たす。
- 全ての対象に対してそれからそれ自身への恒等射が存在する。
メタ圏の射の集合、対象の集合がUniverseの部分集合になっているとき、メタ圏は圏と呼ばれる。
米田の補題
が局所的に小さな圏であるとする。このとき、共変Hom函手
を
で定義する。このとき、任意の函手
に対し
が成り立つ。
随伴
2つの函手
が与えられ、
がX,Yについて可換であるとき、Fを左随伴函手、Gを右随伴函手とよぶ。
Freydの随伴函手定理
Freydの随伴函手定理は函手が随伴函手を持ちうる必要十分条件について述べた定理である。
最終更新:2013年03月07日 02:22