楽しい圏論(その 17)
圏同型と圏同値
二つの圏 と について, 函手 と で となるものがあるとき と は圏同型であると言いますが, 圏同型はかなり強い条件です. そこで, これを少しゆるめて
となるような自然同型があるとき, と は圏同値であると言います.
条件を緩めることは圏論では重要で, 例えば bicategory(双圏, weak 2-category)と (strict) 2-category は本質的に違うものですが, biequivalence という概念を使うと両者を「だいたい」同じものとみなせるのです. biequivalence の定義の中に圏同値が現れるのですがここを圏同型にすることはできません. 条件を緩めることで初めてこの有益な情報は得られるのです.
ただ, それを詳しく書くと(ある程度の予備知識があったとしても) 60 ページほどの PDF になってしまいますのでここでは割愛します.
普遍自然変換
最後のおまけ(?)に普遍自然変換の話を. は二つの対象 と恒等射 と恒等射でないただ一つの射 をもつ圏です.
圏 に対して特別な函手 を
と定義します. このとき自然変換 を
で作ることができます.
任意の函手 と自然変換 に対して双函手 で となるものがただ一つ存在します. このような は
で与えられます.