ドミニオンの定義： 対称モノイド圏である。 亜郡である。 対合的関手を備えている。 射は、律子と対称と対合律子から生成されたものだけ ドミニオンのなかで、結合律子／単位律子で生成される部分圏で繋がる２つの対象は基本同型であると呼ぶ。一貫性定理か…