自然変換の結合 - 雑多な感じ

自然変換の結合

自然変換には2種類の結合がある

圏論の記法の$ * を省略

$ \alpha\colon F ⇒ F'\colon A→B ,$ \alpha'\colon F'⇒F''\colon A→B について

$ \alpha;\alpha'\colon F⇒F''\colon A→B

$ a.(\alpha;\alpha')=a.\alpha;a.\alpha'\colon a.F→a.F''

https://gyazo.com/432e03f5f69da5fc276794053518bd97

$ \alpha\colon F ⇒ F'\colon A→B ,$ \beta\colon G⇒G'\colon B→C について

$ \alpha\beta=\alpha*\beta\colon FG⇒F'G'\colon A→C

https://gyazo.com/ac1da0205046378c381468da30066c07

$ \alpha\beta =\alpha G;F'\beta=F\beta;\alpha G'

https://gyazo.com/20c8f4abb2ac9bbc0660bc25fcf340bb

https://gyazo.com/ded2ffeab016046d4c3fe0794d749ff3