26,674 followers
I discovered that my version of the proof corresponds to the one for Lemma 2.3.1 in https://t.co/aquEICaKFV. https://t.co/nLWCajsRRo
I discovered that my version of the proof corresponds to the one for Lemma 2.3.1 in https://t.co/aquEICaKFV. https://t.co/nLWCajsRRo
これ読みたいけど初っ端から読めない(???) https://t.co/6fluHO7WIN
RT @metaphusika: @dif_engine A. KockのSynthetic Differential Geometryの話なら1970年代後半ですね。これはモデル論的な超準解析ではなくトポスを用いた無限小解析です。大きな違いは後者は冪零になる無限小要素に基づい…