ベキ等半環（idempotent semiring; ISR）の圏が面白い気がしてきた。ISRは環に近いので、（非可換）環論の技法が（ある程度）使える。ブール代数（可換）とクリーニ代数（クリーネ代数）（非可換）はISRの例となる。Aが集合のとき、Powf(A*)はISRになる；A*…