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