自然変換の垂直合成と水平合成の組み合わせ

インフォーマルに自然変換の水平合成と垂直合成を同時にするものを見る

下図の自然変換$ \epsilon,\etaを合成して、$ \eta\circ\epsilonを作る

https://gyazo.com/c45842c8b40fbd754c479ad95d6d6f35

1つ目

https://gyazo.com/512c67a75723930941ce14695df2c79b

2つ目

https://gyazo.com/2b74a2c71a8a5d502147eb1f6f0224e4

なので$ \eta\circ\epsilon = \eta_T\circ F\epsilon = G\epsilon\circ\eta_S

参考

厳密な定義