色々ある。入り口をどこにするかも選べる話題である。 微分可能多様体から入ることにする 微分可能多様体 空間に滑らかな物体を考える。３次元空間におかれた曲面は２次元多様体であって、滑らかなので微分可能な２次元多様体 曲面を球体のように閉じると、…

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