これまで, はクラスであると仮定してきました*1が, 実際にはより大きな圏も扱うことが多いです. したがって, 今後は特に断りがなければそのような圏も扱っているものと考えてください. また, そのような圏を扱っている場合でも, 集合論でよく使う記号( など)…

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