モノイド多圏は次のものから構成される。 単対象：集合Oの要素。 多対象：Oの列であるO*の要素。空列はεとして、A∈A に対する[A]（長さ1の列）はしばしばAと同一視する。 多射：α、βが多対象であるとき、集合 P(α, β) の要素。 モノイド積：多対象α、βの連接…