現代数学の系譜工学物理雑談古典ガロア理論も読む63

現代数学の系譜工学物理雑談古典ガロア理論も読む63at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む63 - 暇つぶし2ch200:決めておかないと不便なので、おおよその約束ごとをこの記事に書いておきます。関手圏、とくに前層の圏での計算を目的にします。内容：前層の圏プロファイリングとin記法ラムダ記法等式とon記法自然変換に関する等式