カン拡張とラムダ計算の関係をはじめて意識したのは2013年のことです。以下の記事に書いてあります。 右カン拡張が、自然変換のラムダ計算における指数型らしい件 次の絵が2013年記事にあります。このとき、次のようなことを言ってます。 runは自然変換です…

「ローヴェア・セオリーのモデルの圏と、ローヴェア・セオリーに対応するモナドのアイレンベルク／ムーア圏が圏同値である」という結果は、リントン〈Fred Linton〉が示したのだと僕は思っていました。しかし、リントンのオリジナルの論文 "Some aspects of …

この記事には内容的な記述はありません。スケマティック系関連の記事へのリンク集となります。スケマティック系の概略と目的は、「スケマティック系のために： 雑多な予備知識 // 絵図的手法とスケマティック系」に書いています。 スケマティック系 半グラフ…

「スケマティック系のために： 雑多な予備知識 // Diag構成」でDiag構成について述べました。Diag構成を特殊化すると既存の色々な構成法になるので、Diag構成は、様々な構成法を包括的に扱うフレームワークとなります。また、「一般化されたファミリーの圏」…

モナド達が作る圏（実際は2-圏）の上に、とあるモナドが載っています。ストリート・モナド〈Street monad〉っていうモナドです。ストリート・モナドは我々が普段扱っているモナド達より上のレベルに居るモナドの典型例ですね。ストリート随伴系〈Street adju…

2021年、あけましておめでとうございます。新年とは何ら関係ない記事ですが‥‥曲がりなりにもブログ記事内でXyJax（XyPic）が使えるようになりました（経緯は以下の記事参照）。 はてなブログでもXyJaxが使える はてなブログでもXyJaxが使える、のか？ XyJax…

この記事は、5年前(2015-06-04)に書いた次の記事を再整理・敷衍したものです。もとの過去記事を参照する必要はありません*1。 測度的積分核と随伴構造 まず、「マルコフ核」の同義語が山のように（少なくとも20個は）あることは、次の記事を参照： ベイズ確…

比較的最近、フリッツ〈Tobias Fritz〉は、確率と統計を圏論的かつ統合的〈synthetic〉*1に扱うための枠組みとして、マルコフ圏〈Markov category〉を提案しています。僕が知る限り、次の論文がマルコフ圏に関するいちばん詳しい資料です。 Title: A synthet…

ここ数年、オーバーロード（言葉・記号の多義的使用）の問題にひどく悩まされています。僕ひとりの問題というよりは、コミュニケーションの障害となるので困っているのです。言葉・記号をオーバーロードしてしまうと、オーバーロード解決（曖昧性をなくして…

4月7日の記事「ベクトル空間上の複素密度 3： 反対主等質集合と反傾主等質集合」の最後で： このテの話をしているのは、ベクトル空間Vのフレーム集合 Frame(V) と、双対空間V*のフレーム集合 Frame(V*) の関係をハッキリさせるためです。これら2つのフレーム…

内容： 幾つかの事例 描き方のルール TeXソースとマクロ 幾つかの事例「MathJaxで可換図式」で述べたように、はてなブログでは、四角いレイアウトの可換図式しか描けません（素晴らしい描画能力を持つXyJaxは使えないので）。マックレーンの五角形も、五角形…

「複体、複体、複体 … なんとかしてくれ！」を書いているときにふと思ったことがあるんですが、横道にそれるので書きませんでした。そのことをこの記事で書きます。ふと思ったこととは、「圏C内のモノイド対象と、圏C内の単体的対象は酷似した概念だなー」。…

曖昧な記法だと、ほんとに話がグチャグチャになって、考えがまとまりません。記法の整理・整備は大事です。内容： 飾り文字 注釈飾り文字 識別飾り文字 関手飾り文字 微分幾何からの例 まとめ 飾り文字上付き・下付きで小さく書く文字・文字列を飾り文字と呼…

一覧にまとめておきます。随時、修正・追加があるでしょう。[追記 date="2021-06-26"]実情に合わせて修正しました。[/追記]内容： 圏 関手 バンドルとバンドル射 バンドルの演算 バンドルの移動 セクション セクション空間と層 層の演算 層の移動 圏 Man -- …

専門用語においても、同義語・類義語、表記のゆれなどは相当にあります。「こんな言い方もある、あんな言い方もある」と列挙していると、ときに長大なリストになってしまうことがあります。列挙する代わりに正規表現を使うとコンパクトに記述できます。正規…

構造、例えばモノイドを書き表すとき、どう書くか？ 省略や記号の乱用も含めたルールをどうするか？ 毎回悩みます。ある程度の方針を決めたいと思います。内容： 素材だけの指標 説明的な名前 インスタンスの書き方 追記 (翌日)： もっとバリエーション さら…

一昨日の記事「接ベクトル場の定義：補遺」の続きをちょっと書こうかと思ったら、記号の説明がけっこうめんどくさいことに気づきました。とりあえず、後で参照できるように記法を整理しておくことにします。記法は、過去の記事(↓)とできるだけ（完全に、では…

[追記 date="2019-11-05"]この記事のなかで「リー微分も共変微分の一種だ」と書いてますが、それは間違いです。リー微分は共変微分ではありません。現時点では記事本文を修正してません（そのままです）が、なぜ間違いなのかの理由は次の記事に書いてありま…

「主バンドルの基本的なこと (1/2)」で、ファイバーバンドルとそのセクションの定義をしたので、それを使って共変外微分の系列を導入できますね。 という記法の意味を説明します。内容： ファイバーバンドルのセクションの復習 ド・ラーム複体 共変微分の復…

次の記事で触れたマーシュの論説を、何人かでゆるゆると読んでいこうかと思ってます。 多様体上のベクトルバンドルの接続と平行移動 微分幾何からゲージ理論へ 必要に応じて、他の資料も参照します。 微分幾何の教科書はインターネット上に溢れている なお、…

久々の「モダン化」シリーズの記事です。以下のエントリーがシリーズのハブになっています。 古典的微分幾何・ベクトル解析のモダン化： ラムダ記法の利用 モダンの反対語として、「因習的」を使うことにします。モダンではない、因習的微分幾何のどこが何故…

モナドの理論を高次圏論を使って定式化すると、だいぶスッキリします。しかし、ベースになる高次圏論の概念・用語・記法が安定してないので、解説を読むのに苦労します。解説の解説（ガイダンス）があるといいような気がするので、ザッと書いてみます。落と…

圏Cに対して、反対圏Copは一種しかないですが、高次圏の反対圏はイッパイ作れます。2次元の圏の場合でも、結合は2種類あるので、反転する／しないの組み合わせは4通りあります。 番号 第一の結合 第二の結合 1 反転しない 反転しない 2 反転する 反転しない …

先日の記事「古典的微分幾何・ベクトル解析のモダン化： ダイレクトインデックス記法」で、上付き・下付き添字の説明をしたのですが、説明の対象である上付き・下付き添字以外に、上付き・下付き添字の記法を大量に使っている事実に気が付きました。随分とひ…

論理やプログラミング言語の構文論と意味論の枠組みとして、指数関手が使えるだろう／使いたい、と思っています。そのなかで、高次圏（少なくとも厳密2-圏）やカン拡張も必要となります。内容： 動機：構文論・意味論の記述 指数関数とその用語法 指数関数か…

この記事は、ゆっくりと具体的にカン拡張へと近づいて行こう、という試みの一環です。カン拡張の説明に、ペースティング図やストリング図は必須ですが、もっと“写実的”な描画法として、点と矢印が錯綜する空間内に描出される“柱”の絵を描いてみます。内容： …

随伴とその絵算についてかなり詳しく説明しました。 圏論の随伴をちゃんと抑えよう 圏論の随伴をちゃんと抑えよう： お絵描き完全解説 この勢いでカン拡張の説明もいけるかな、と思ったんですが、カン拡張はやっぱり難しい。難しいつうか、上下左右がさらに…

[追記 date="後日"]日本語の表記として「抑える」より「押さえる」が正しい気がしてきたけど、このままにします。使い分けがさほど明確なわけじゃないし、「抑える」に「支配下に置く」ような雰囲気もあるので。[/追記]「テキスト記法を図式順で書くか反図式…

高次圏論〈higher category theory〉に興味はあるし、必要性も感じているのですが、難しくてよく分からん、の状態が何年も続いています。高次圏に関してちゃんとした事をちゃんと書くのは僕には荷が重いので、思い付きをダラダラ書くことにします。そういう…

集合論でも圏論でも、宇宙は無限の彼方へと拡がっています。でも、適当な場所で限界を設けて、その限界の内側だけで十分なことが多い気がします。そのような狭い世界のなかでは、ファイルシステムやWebと同様に、パスにより実体を指し示すことができます。昨…