2020-02-14 ドミニオン 圏一般論 モノイド圏 本編ネタ ドミニオンの定義: 対称モノイド圏である。 亜郡である。 対合的関手を備えている。 射は、律子と対称と対合律子から生成されたものだけ ドミニオンのなかで、結合律子/単位律子で生成される部分圏で繋がる2つの対象は基本同型であると呼ぶ。一貫性定理から、基本同型(の射)の圏はやせた圏で、同値関係となる。