モノイドMのベキ集合Pow(M)がクリーネ代数になることを拡張して、任意の圏Cからクリーネ圏を作る構成が木下さんの「不動点をめぐる代数構造たち」(PDF)に書いてある。圏としての構造（identityとcomposition）だけを述べると、P(C)をPと略記して： Obj(P) = …

Kleeneをカタカナ書きする事にした。けど、「クリーネ」か「クリーニ」か？ googleでは、"クリーニ代数"が15件、"クリーネ代数"が20件、ほぼ互角だな。「クリーン」が原音に近いという話もあるけど、、、まぁ、なんとなく慣れているから「クリーネ」にしよう…

僕は（おそらく過剰に）紙に依存していて、部屋全体が紙くずで埋め尽くされたような状態。それで、意を決して掃除するのですが、たいていはよからぬ副作用がありますね -- 今まであったものがなくなる。今朝もノートを一冊探すのに小一時間もかかってしまい…