このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

モノイドと群の淡中再構成 2/n ： 概要

雑記／備忘

モノイドに関する淡中再構成定理がだいたいどんなものかを述べます。そして、淡中再構成定理の証明の特徴を述べます。証明の特徴は、長いけど無技巧〈trickless〉で淡々としていることです。この記事内では定義を書いてないので雰囲気だけですが、淡中再構成…

モノイドと群の淡中再構成 1/n

雑記／備忘 ハブ記事

表題の話題については過去に書いているのですが、改めて何回かの記事に分けて書こうかと思います。過去記事を参照〈リンク〉はしますが、参照をたどらなくても済むように出来るだけ自己充足的〈self-contained〉なスタイルにします。「出来るだけ」ですけど…

モナド-セオリー対応はラックス斜モノイド関手だろう

雑記／備忘

ヴォエヴォドスキーによると、ローヴェア・セオリーは相対モナドです。ローヴェア・セオリーに対応する（普通の）モナドは集合圏上の有限項モナド〈finitary monad〉です。「セオリー → モナド」対応は、相対モナドを（普通の）モナドに拡張しているのではな…

構造を持つ概念的事物の記述と参照： コンパニオンを例に

雑記／備忘

「線形代数の二重圏 Double Linear Algebra」にて： 二重圏で（その他の高次圏でも）ウンザリすることは、図（ペースティング図またはストリング図）で表現されていることをテキスト記号列に翻訳することです。記法の約束を決めたり、約束によるエンコーディ…

線形代数の二重圏 Double Linear Algebra

雑記／備忘

二重圏の例が何かないかなー、と探していて、線形代数からの事例を思いつきました。この二重圏は、線形代数として面白いかは疑問（特に新しいことが出てこない）ですが、二重圏の例としては面白いです。二重圏を使った線形代数の定式化なので、$`\mathbf{DLA…

指標から名前の削除 その2

雑記／備忘

去年「指標から名前の削除」という短い記事を書きましたが、その続きです。名前の削除に関して、いつだったかどこかで見た方法を紹介します。“いつどこか”を忘れてしまったので出典不明です。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\mbf}[1]{\m…

古典テンソル計算がうまくいく理由： 組み合わせ的コンパクト閉圏 1/n

雑記／備忘 ハブ記事

古典テンソル計算は何度も話題にしていますが、不満や愚痴として僕がよく言っていたことは； 「計算の手順だけ教わって、それを機械的に遂行するのは辛い」てなことです。しかしこれは、言葉を換えると、機械的な計算手順だけでも（セマンティクスをろくに知…

コーナー、キンク、ニョロニョロ

雑記／備忘

まだ生煮えの話をします。最初に動機を書くと； 随伴系を定義する2つの方法である「ニョロニョロ関係式」と「自然なホムセット同型」が同値であることをお絵描き〈絵算 | {pictorial | graphical | diagrammatic} calculus〉で示したい！ ということです。ニ…

二重圏のコンパニオン／コンジョイントと米田の星

雑記／備忘

形式圏論を考える舞台として2-圏より二重圏のほうが良さそうな気がします。ちょっとした状況証拠をひとつ挙げます。$`\newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\mbf}[1]{ \mathbf{#1} } \newcommand{\mrm}[1]{ \mathrm{#1} } %\newcommand{\mfk}[1…

関手のテンソル積（コエンド）

雑記／備忘

関手のテンソル積という概念があります。「テンソル積」と呼んでますが、たぶん「思ってたのと違う」となるでしょう。関手のテンソル積は、ある種の豊穣プロ関手〈enriched profunctor〉のコエンドのことです。豊穣プロ関手を2つの豊穣関手から作るので「積…

組み合わせ幾何の基本： 幾何グラフの位相実現

雑記／備忘

「組み合わせ的対象物の位相的実現」より： 天下りかつ抽象的構成で定義されると、$`\mathrm{Realiz}(X)`$ が、ほんとに直感的に想定している位相的・幾何的形状を表現しているのか？ と疑問になります。その疑問を解消するには、抽象的構成をアンパックして…

組み合わせ的対象物の位相的実現

雑記／備忘

僕はしばしば「組み合わせ幾何的対象物〈combinatorial geometric object〉」という言葉を使いますが、それはいったいかなるモノなのでしょうか？ “組み合わせ的に解釈できる幾何的対象物”、あるいは“幾何的に解釈できる組み合わせ的対象物”なんですが、それ…

カン拡張ラムダ計算化 方針

雑記／備忘

「カン拡張ラムダ計算化計画」より： この記事ではこれ以上の内容は述べませんが、引き続く記事達でカン拡張ラムダ計算化計画をちょっとずつ実行する予定です。 というわけで、ちょっと書きます。内容： 使う道具・技術・枠組み 使う具体例 使う道具・技術・…

有限集合達の圏とその骨格は圏同値

雑記／備忘

有限集合についてキチンと理解していることが必要となる場面は多いです。「キチンと理解している」とは、個々の有限集合だけではなくて、すべての有限集合達が形成する圏 $`\mathbf{FinSet}`$ の構造を理解していることです。この記事では、有限集合達の圏 $…

カン拡張ラムダ計算化計画

雑記／備忘 ハブ記事 参照用

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