対角性とスライディング

Elgot/Conway（エルゴット／コンウェイ）不動点オペレータの対角性（diagonal property）を絵に描くと、2回の対角射の変形が出てくる。

−＋−＋→ 3

　↓　↓

　1　　2
−−＋−→ 3

　　↓

　 ／＼

　↓　↓

　1　　2

これは実は、対角の余結合律になる。つまり、対角性は、対角の余結合性とトレースのスライディングから得られる。これから、対角性≒スライディング。