まずはAb圏の定義から： hom-setがアーベル群 射の結合は双線形 零対象を持つことは仮定しない（零射は存在する）。 次に加法圏： Ab圏である。 零対象を持つ。 双積を持つ。 Ab圏をプレ加法圏（preadditive category）とも呼ぶ。対応する「半」概念。 加法…

http://www.cs.mcgill.ca/~prakash/Talks/mfps07.pdf ダウンロードした。対応する論文は http://arxiv.org/abs/math/9805102 あたりかな。発表者はパナンガデン（Panangaden, http://www.cs.mcgill.ca/~prakash/）。

「クリーニ」という読みは「クリーネ」に直した。クリーネも残っているが、検索は「クリーネ」だけでOK. http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%a5%af%a5%ea%a1%bc%a5%cd Kleene, Conway, Kozenなどを完全にカタカナ化はまだできてない。

いまだに僕は、クリーネ圏、コォゼン圏、クリーネ代数（クリーネ／コォゼン半環と呼ぶのがふさわしいと思う）の関係がよくわかってない。次のことはわかる。 コォゼン圏はクリーネ圏である。 クリーネ圏のend-setはクリーネ代数である。したがって、コォゼン…