自然変換の合成の仕方の一つ

参考

めちゃわかりやすい

垂直合成の図が可換になる証明など