楽しい圏論(その 4)

今後, などは単に と書きます. また, 射や函手の合成記号は省いて などと書きます. 自然変換の垂直合成と函手圏 圏 から圏 への函手 と自然変換 が与えられたとき, 垂直合成(vertical composition) を で定義します.これが から への自然変換になっていることは, 次図の可換性から明らかでしょう. 自然変換の垂直合成は結…