Esik/Kuichの"Inductive *-Semirings"から定義などを抜き書き。単項の演算*を持つ半環をスター半環と呼ぶ（それだけの話、他に特別な意味はない）。 帰納的スター半環（inductive *-semiring）は： 順序半環（半環演算が単調） a・a* + 1 ≦ a* [不動点不等式…

本編コメントに答えるついでに、参照リンクやら戯言やらゴチャゴチャと。 プログラムの集まりが「圏」になるというのは、どなたの発見か知りませんが、計算機科学において金字塔のような成果なのではないでしょうか。 別に誰かの発見というわけではないよう…

Golan本が届いた。パラパラ読んだ。次元論は載ってないのでガックリ。だが、後半は面白そうな話題だから、内容的にはまーいい。ブツとして、できの悪いハードカバーであることがひどく癪にさわる！ムカッ