非浸透壁により、単位元を扱えるようになった。そのぶん、非浸透壁を潰す、密室の削除のような操作が増えた。 直和と1セルの結合の区別がつかない。0セルから考えるとすると、さらにやっかい。 恒等2セルはやっぱりうまく定義できない。恒等3セルを何もしな…

ハイブという比喩を思い付いた。組み合わせ的な図形に、浸透性という物理的(?)特性／メカニズムが載っている。浸透性（パーミアビリティ; permeablity）は +, -, 0の三値極性。境界の浸透性から、∂-, ∂+, ∂0が定義できる。 バイオハザードにザ・ハイブ（The …