言語・演繹・論理におけるCoalgebra

• 昨日の続き
• Journal of Logic and Computation
  • "Coalgebras are rapidly gaining ground as fundamental structures for modelling the concept of state-based dynamics"
  • " languages and deductive systems for specifying and reasoning about behaviour at a coalgebraic level of generality"
• n個の要素を基底として張られるベクトル空間に和と積とを入れて代数を考え、それの双対空間(とそれによるcoalgebra)を考えることで、基底の組み合わせが確定する写像(入力に対して何を出力にするか)を代数的に扱いましょう、ということらしいです。
• n個の要素を神経細胞にしてもよいし、言語における単語の集合と考えてもよく、そのalgebra/coalgebraが示す世界のみてくれは変わる、ということらしいです。