今日はメモ編をやたらにイッパイ書く日だな、ウン。列言語の理論で、言語Lが正規言語であることは、Lから作ったネロード（マイヒル/ネロード）同値による商集合が有限集合になることと同値となる。このネロード同値関係は、振る舞い同値（behavioural equiva…

直前のエントリで書いた「空白部分（わかってないところ）の輪郭」をスケッチするために書く。すっげーラフスケッチだけど。項モナドからの構成まず、指標Σに対する圏C上の項モナドT_Σから出発。T=T_ΣのKleisli圏C_TとCirc-Kleisli圏C_+Tは作れる。が、C_T、…

マーク・ホプキンスの観察（KleeneQFT）を（自分が）納得できる形で書き下すことは、僕にとっては割と大きなテーマになっている。これはまー、ジグソーパズルだな。ただし、ピースも自分で探してきたり描いたりする必要がある。で、少しずつは組み上がってい…