モノイド圏に対するマックレーンの一貫性定理（Mac Lane's coherence theorem for monoidal categories）は有名なんですが、それが主張する内容を把握しづらい定理です。同値な内容を様々な形で述べることができます。ここでは、ツリー書き換え系との関係で…