インストラクションセットから作られた自由モノイドが、メモリの状態空間に作用している、というのがノイマン型コンピュータの素直な定式化だろう。自由モノイドを A* のようなクリーネスターで書くとする。A*×B* が自由モノイドの直積、A*#B* が自由積＝直…

計算の副作用（主作用かも）の定式化はモノイドの圏となるが、モノイドの圏のなかの直和が重要だと気が付いた。つうか、前から細々とは使っていたが、これは大々的に使わないといかん、と思った。例外（exception）があると、あるストレージ（加群の台）に作…