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

関手と自然変換を合成して自然変換を作る

関手と自然変換を合成して、新しい自然変換を作る

変換後で\mathscr{B}を省略して書くと

変換後で\mathscr{B}を省略して書くと

\theta_Fは下付きのFであることに注意

なんで #??

参考

めちゃわかりやすい

可換になることの証明など