eをただ1つの対象、ide = 1 と書く。;は結合（第一モノイド演算））、#はモノイド積（第二モノイド変算）とする。対象がeしかないのでモノイド単位はe。 a;b = (a#1);(1#b) = (a;1)#(1;b) = a#bよって、;と#は一致する。 a;b = (1#a);(b#1) = (1;b)#(a;1) = …