ドミニオン

ドミニオンの定義：

1. 対称モノイド圏である。
2. 亜郡である。
3. 対合的関手を備えている。
4. 射は、律子と対称と対合律子から生成されたものだけ

ドミニオンのなかで、結合律子／単位律子で生成される部分圏で繋がる２つの対象は基本同型であると呼ぶ。一貫性定理から、基本同型（の射）の圏はやせた圏で、同値関係となる。