結合律の背後の法則

領域ごとに、背景説明。

• (1) mの定義 展開
• (2) τの自然性をmに適用 τ_□(m)
• (3) ρの自然性をmに適用 ρ_□(m)
• (4) モノイド圏のマックレーン三角律・右
• (5) τのアンバンドル（バンドル法則、アンバンドル法則）
• (6) mの定義 展開
• (7) 自明（無駄）
• (8) μの結合律
• (9) μの自然性をρに適用
• (10) τとμのすり抜け法則
• (11) mの定義 縮約
• (12) mの定義 縮約