メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。いう記号を導入しました。分母と分子をひっくり返したものです。(見たことある方は教えてくださいませ。“逆”なのですが、偏微分作用素としての逆ではありません。因習の擁護」あたりに書いてあります。すべては「なめらかな世界」で考えます。多様体の一点での接ベクトルを定義する方法が幾つかあります。微分作用素としての定義は以前述べました。その他の方法二種類も記しておきます。calculus〉環境としてのモノイド閉圏を紹介しました。モノイド閉圏はカリー化を持ちます。カリー化に関わる素材と法則があれば、そこから指数随伴系〈テンソル・ホム随伴系〉...2019-11-25ラムダ計算の自然性とお絵描き雑記/備忘タイトルの「自然性」は、国語辞書的な意味ではなくて、圏論の意味での自然性です。何が自然なのかというと、ラムダ計算の中核であるカリー化が自然だということです。ラムダ計算の中核であるカリー化は、圏論的な意味で自然である。昔は平気だったことでも、今では非難の対象になることは多々あります。変わるのでしょうがないですね。伝統的(因習的)微分幾何の記法は、不合理の塊です。不合理な記法をやめられないのは、確かに便利だからです。