多様体上で何かを計算するときに、開被覆族に載った層係数のコチェーン〈チェック・コチェーン〉が出てきます。これは記法として便利です。便利なので、条件をゆるめてもっと広く使ってもいい気がします。 開集合の族が被覆になってなくてもいいとする。 係…
1年3ヶ月ほど前に書いた「コジュール接続の圏」に次のように書いています。 先週ボンヤリと考えていたことがあったんですが、ちょっと面倒になってきて気力萎え。だけど、いつかまた興味と気力が湧いたときに参照できるようにメモ書きを残しておきます。 こ…
「ド・ラーム・コホモロジーはホモトピー不変量だ」と言われます。これはいったいどういう意味なんでしょう？ 「ホモトピー」が色々な意味で使われ過ぎていて何だかヨクワカリマセン。事情をハッキリさせましょう。※ 言葉と表記に関する注意： 英単語の語尾…
去年の春に書いた次の記事で、 接バンドルのホロノーム座標 ホロノーム座標 補遺：バンドル座標 数理物理学者サルダナシヴィリ〈Gennadi Sardanashvily〉が使っている座標記法を紹介しました。サルダナシヴィリのオリジナルの記法では3種類の座標があり、そ…
基礎圏〈台圏〉を指定しないすべてのモナド達の圏をMnd、すべての随伴系〈adjunction | adjoint system〉達の圏をAdjと書くことは多いですが、MndやAdjが何を意味するかは人によりバラバラです。バラバラなのはしょうがないのですが、様々な定義を記述したり…
次元の概念は思いのほか難しくて、あまり理解されてないのかも知れませんね。特に0次元が鬼門のようです。離散キューブという概念を導入する過程のなかで0次元の話をします。(-1)次元は、空集合に対する次元の候補です（空集合の次元は幾つかの考え方があり…
モナド達が作る圏（実際は2-圏）の上に、とあるモナドが載っています。ストリート・モナド〈Street monad〉っていうモナドです。ストリート・モナドは我々が普段扱っているモナド達より上のレベルに居るモナドの典型例ですね。ストリート随伴系〈Street adju…
随伴系〈adjunction | adjoint system〉があるとモナドを作れます。逆に、モナドを随伴系に分解〈resolution〉して調べたいことがあります。となると、ある特定のモナドに対して、随伴系への分解はどのくらいあるのだろう？ と知りたくなるのが人情です。モ…
「最急降下法機械学習の圏 // 使えるのか？」で言及した、単一ニューラルネットの形状の圏 SNNS （the category of Single Neural Network Shapes）からパラメータ付き関数の圏 Para(AES) への実現関手〈実装関手〉について説明します。何はともあれ、しりと…
フォング／スピヴァック／トゥイーラス*1の次の論文が面白そうなので話題にします。 Title: Backprop as Functor: A compositional perspective on supervised learning Authors: Brendan Fong, David I. Spivak, Rémy Tuyéras Submitted: 28 Nov 2017 (v1),…
は、可逆で微分可能な写像〈関数〉だとしましょう。この関数の逆関数の微分は、次の公式で与えられます。 は“fの微分”を与える2×2の行列値関数（ヤコビ行列）です。この公式を見たある人が、次のように“式変形”してから公式を使おうとしました。そして、「ん…
細かい差異をいちいち区別していると煩雑でやってられないし、かといって、味噌もクソも一緒にしてしまうとグッチャングッチャンで意味不明になるし。良いバランスの妥協点を探すのは難しいですね。内容： 同一視されがちな概念 マルコフ核と、ジリィ空間へ…
「統計的反転の圏論的セットアップ 1/2」の続きっちゃ続きの話です。が、この話が「2/2」（全2回の2回目）になるかというと、そうはならない（まだ続く）ので、タイトルは「2/?」にしました。全部で何回になるかは不明になりました。統計的反転を一般的に議…
バート・ジェイコブス〈Bart Jacobs〉達のチャンネル理論（「ベイズ確率論、ジェイコブス達の新しい風」参照）では、チャンネルに対する演算に独自の記号を割り当てています。それがどうにも使いにくくて、結局僕は使うのをやめてしまったのですが、「使いに…
次はイバン・パターソンの学位論文です。 Title: The algebra and machine representation of statistical models Author: Evan Patterson Submitted: 16 Jun 2020 Pages: 224p URL: https://arxiv.org/abs/2006.08945 Youtube動画で、上記学位論文の主に3章…
