垂直合成
自然変換の合成の仕方の一つ
https://gyazo.com/2ba8ae9cf801f351fd154ba26fb1d210
参考
alg-d先生の自然変換
めちゃわかりやすいmrsekut.icon
垂直合成の図が可換になる証明など