領域ごとに、背景説明。 (1) mの定義 展開 (2) τの自然性をmに適用 τ□(m) (3) ρの自然性をmに適用 ρ□(m) (4) モノイド圏のマックレーン三角律・右 (5) τのアンバンドル（バンドル法則、アンバンドル法則） (6) mの定義 展開 (7) 自明（無駄） (8) μの結合律 …