自然変換とか圏同値とか
圏論を少し勉強することにした.
自然変換あたりでつまづいたが、少し飲み込めたのでまとめておく. 圏同値(と圏同型)は圏の間の可逆な関手からなる.
関手 と自然同型 が存在するとき圏 は圏同値であるという.また関手 が圏同値を与えることと, が忠実充満な本質的全射であることは同値.
以下, 用語の定義等述べていく.
定義(自然変換)
を圏, を関手, を対象, を の射とする.
の射の族 であって, を満たすものを から への自然変換といい, とかく.
また, 各 が の同型射となっているものを自然同型という. 自然同型 が存在するとき, と は自然同型であるといい とかく. (「自然同型が存在するとき2つの圏が自然同型」という言い方が紛らわしくて混乱していることに気づくのに時間がかかった.)
( が圏同値で を対象, を なる関手とし, とすると と は同型となる. )
これと似ているのが次の概念. 逆関手との合成が恒等写像であることを要求する. そのため
定義(圏同型)
同型関手 が存在するとき, と は圏同型であるという.
が同型関手であるとは, ある関手 が存在して となるときをいう.
( と が圏同型で前カッコ内と同じ状況だとすると が成り立つ. )
圏同型は強すぎて使い勝手が悪すぎるので, 少し緩めた圏同値をよく使うらしい.
同値命題の言葉の説明もしておく.
定義(関手の性質)
を関手, を対象とする.
が誘導する写像 が全射であるとき, Fが充満関手であるという.
が誘導する写像 が単射であるとき, Fが忠実関手であるという.
任意の がある の対象 の像 と同型.(すなわち任意の に対し, ある が存在して が成り立つ.)
が誘導する写像は集合と写像のなす圏 の射と見ることもできる.