「あわてて両モナドやメイヤー代数を復習する」において： 両モノイドは、モノイド A = (A, η, μ) と余モノイド B = (B, ε, δ) があって、さらに射 β:AB→BA が備わった体系 (A, B, β) で、βがη, μ, ε, δのそれぞれに対して「ベックの分配法則」になっている…