ツチヤさん，ナカイくんと．私は Lurie, "Higher Topos Theory" の第２回．前回につづき Appendix．その後ナカイくんが Ravenel の仕事の紹介．打ち上げは二子玉川「旬采」． ∞ 圏 数学でもっとも基本的な概念は 集合 であろう．それは，「考えている対象の…

合成関数の微分．高次の偏導関数． が全微分可能， が微分可能ならば，合成関数の微分の公式 (chain rule)が成立する． C1 ⇒ 全微分可能 ⇒ 連続．このことは Cn 級の定義の妥当性の根拠をあたえている． が C2 級ならば，