水平合成
関手と自然変換を合成して自然変換を作る
関手 + 自然変換 = 自然変換
関手と自然変換を合成して、新しい自然変換を作る
https://gyazo.com/a5e69790654f635110d1185df04bb4ca
変換後で$ \mathscr{B}を省略して書くと
https://gyazo.com/2ed3a017d70710082086e1fd0aaebcd1
https://gyazo.com/815480aee1cb94691e6de799f5d08811
変換後で$ \mathscr{B}を省略して書くと
https://gyazo.com/1e38bacbc664866bb8a44187057d6b86
$ \theta_Fは下付きの$ Fであることに注意
参考
めちゃわかりやすい
可換になることの証明など