もう少しチャントまとまったら書こうと思っていたが、とりあえず叩き台。●不動点等式／不等式／帰納法 a・a* + 1 = a* [不動点等式; the fixed point equation] a・a* + 1 ≦ a* [不動点不等式; the fixed point enequation] a・x + b ≦ x ⇒ a*・b≦x [不動点…

順序半環Kをベースにする（Kを圏に一般化できるだろうが）；二値ブール代数B、クリーネ代数Pow({a, b}*)、自然数の半環N、max-plus代数など。Kにはダガーもあって、ダガー半環だとしよう。どんな半環でも自明なダガー構造が入るから、この仮定は特に問題には…