代数の congruence に相当する bisimulation と behavioral equivalence について。圏論っぽい雰囲気が漂っていて楽しい節です。ほとんど set functor ですけど。*1以下、特に断らないかぎり Ω は set functor で は Ω-coalgebra とする。添え字や prime が…

終余代数 (final coalgebra) の基本的な話。終余代数とは、余代数の圏の終対象のこと。関手を fix するごとに定義される。理論はだいたい知ってるので例を中心に見ていく。 some examples black box machine . M が機械の内部状態で C が出力。状態遷移を起…

Vietoris functor の射への作用が well-defined である理由が本には一言も書いてなくて、しばらく考えてもわからなくて、おかしいなあと思ってたのですが、closed mapping lemma を使えばすぐできました。しばらく使ってなかったので存在を忘れていました。*…