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

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

1つ目

2つ目

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

参考

厳密な定義