Coalgebra

Coalgebraで生物学

Coalgebraで生物学を見てみようと、アナロジーの連鎖をしてみた(こちら) そこで書いた通り、coalgebraとかが使えるのかどうかを理解するには、こちらの双線形関数を出してくるところのように、写像が(実数)1次元空間への写像だったものを2次元に上げるとか…

言語・演繹・論理における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 …

Coalgebraへの道

こちらのpolynomial coalgebraというのがちょっとわかりたい というのも論理とcoalgebraに関するこちらに興味があるから ちょっとわかりたいのだが、日本にいて、ヒマラヤの7000mの山(8000m級ではなくて)に「ちょっと登りたい」という感じで、どうしたものか…