2009-07-21 ベックの分配法則(Beckスワッパー)の対称性の高い模様 モナド モノイド圏 ベックの分配法則(Beckスワッパー)を使って複合モナドの結合律を示す途中での対称性の高い図形が出てくる。A = FG だとして、τ:GF⇒FG がスワッパーとして、AAA⇒A(つまり、FGFGFG⇒FG という自然変換の定義なのだが: FττG | μτμ | μμ 左端のFと右端のGを垂直な直線で描くと、左右対称で単純な模様ができる。それがどうした -- こういう綺麗な模様ってのはたいてい何か意味があるもんだよ。