ローランド・バックハウス（ロランかもしれない；Roland Backhouse）が、加法的ベキ等半環について簡単なメモ（たぶん教材）を書いている。そのなかで例にしている半環は： 言語の集合（例：正規集合の半環） プログラムの二項関係モデル ブール代数と可達性…

何度か引用している"不動点をめぐる代数構造たち" by 木下佳樹（http://unit.aist.go.jp/cvs/tr-data/PS02-005.PDF）のP.2に次の定義がある。μ圏とは，局所順序圏C，C の対象の二つ組(a, b)に対して hom集合C(a, b) の可算列の上限演算子∨a,b: C(a, b)ω → C(…

セリンガー（Peter Selinger）が"Categorical Structure of Asynchrony"（→http://www.mathstat.dal.ca/~selinger/papers/catasynch.pdf）で示しているのだが、面白い補題がある。(C, ×, Tr, Δ)を対角付きトレース付き（対称モノイド）圏だとして、そのベキ…

言ってみるが、人にわかるように書いてみると、自分もわかる！