ドミニオン 「ドミニオン」を採用した理由は： 小さく、 よく統治されている。 ドミニオン〈dominion〉の定義は： 台は、小さい対称モノイド圏Cである。 モノイド否定 (￢, δ) が載っている。 特定された組み合わせ基底 B⊆|C| を持つ。 モノイド否定〈monoid…