Algebras and Coalgebras, Section 13. Modal logic and coalgebras

ようやく論理の話が出てくる節なのですが、何というか、どこに感動すればいいのかよくわかりません。確かに coalgebra を使うことでそれらしい一般化はできているようなのですが、そんなに自然なやり方にも見えないし見通しがよくなった気もあまりしないし。単に今日は集中力がなくて頭に入らなかったということなのかもしれませんが。