昨日のエントリー「二重圏と一様性、2-セルによる定式化」の話だが、背景圏Cが局所順序付き圏（Ord豊饒化された圏）であるとする。すると、f;(b+u) ≦ (a+u);g in C(A+X, B'+Y)が意味を持つ。C(A+X, B'+Y) は、状態空間のあいだを飛ぶ転移（遷移とは区別しよ…

パリク・ベクトルを一般化して、正規集合に関するパリクの定理（本来は文脈自由文法に関する定理）を示したいものだ。まず、Pow(Nn)に、足し算∪と掛け算+で半環構造（cup-plus代数とでも呼ぶべきか）を入れる。クリーネ級数は収束するから、クリーネ連続半環…