  |
はてなキーワード:圏論とは
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か？という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか？
そして粒子とは何か？はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか？
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか？」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない？」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている？」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
本来であれば、土曜日のこの時間は洗濯物の仕分けと、午後2時からのドクター・フーマラソンに向けた栄養補給（全粒粉クラッカーと適温に冷やした低脂肪乳）に充てられるべきだ。
しかし、僕の思考を占拠しているのは、エドワード・ウィッテンですら到達できなかった領域、超弦理論における高次圏論的モチーフとp進的タイヒミュラー空間の融合という革命的な着想だ。
既存の理論が11次元の超重力理論を基盤としているのは、単に数学的な怠慢に過ぎない。
僕は昨夜、カラビ・ヤウ多様体のホモロジー的ミラー対称性を、圏の枠組みを超えて、非可換幾何学における非アルキメデス的スタックとして再定義することに成功した。
ウィッテンが提唱したアド・ホックな双対性では、強結合領域の挙動を完全には記述できない。
僕はそこに、ホロノミー多様体上のディラック作用素をモチーフ的コホモロジーのスペクトルとして配置する手法を導入した。
これにより、プランクスケール以下での時空の泡立ちが、実はゼータ関数の非自明な零点と1対1で対応していることを証明しつつある。
これを理解できないルームメイトは、僕がホワイトボードに無限次元リー代数を書き殴っている横で「タイ料理を食べるか？」などという愚問を投げかけてきた。
彼の脳は、クォークの閉じ込め理論よりも、パッタイのピーナッツの量に執着するように設計されているらしい。実に嘆かわしいことだ。
午前中、隣人が僕の部屋のドアを正しいリズムを守らずに叩き、勝手に入ってきた。
彼女は僕が開発したMTGの新しいデッキを無限に誘発させ、相手に一切のターンを与えないという、数学的に完璧な勝利をもたらす構成に対して、「友達をなくすだけだよ」という非論理的な評価を下した。
さらに、友人Aと友人Bがやってきて、僕のFF14内でのプレイスタイルについて文句を言った。
僕はヒーローとして、全てのギミックをミリ秒単位の計算で処理し、パーティメンバーの移動経路をベクトル演算で最適化しているだけだ。
友人A（工学などという低俗な学問を修めた男）は「効率的すぎてゲームがつまらない」と言い、友人Bは「君がチャットで数学の講義を始めるせいでレイドが進まない」と主張した。
彼らは、エオルゼアの背景にあるエーテル伝導率が、実は超弦の振動モードの変種である可能性に気づいていない。
これからの予定は以下。
さて、思考の整理は終わった。
秒針が45を指した瞬間に始めるのが習慣だ。誤差は許さない。今日までの進捗と、これからの計画を記録する。
今週は、超弦理論の基礎という名の底なし沼を、さらに深く掘った。
掘削機は摂動論ではなく、∞-圏だ。
点粒子の量子場理論を母語とする直感は、もはや邪魔にしかならない。
世界面は2次元多様体ではなく、安定∞-群oidの影として扱う方が自然だという作業仮説を採用した。
すると、弦の相互作用は頂点作用素代数というより、因子化代数の層として現れる。
局所から大域へ貼り合わせるデータは、通常の圏ではなく、(∞,2)-圏で管理する必要がある。
ここで「必要」という言葉は、数学的整合性の要求を意味する。好みではない。
nLabのFAQを踏み台に、弦理論を理論の集合ではなく理論を生む装置として捉え直した。
共変量子化の曖昧さは、背景独立性の失敗ではなく、背景そのものをスタックとして持ち上げることで解消される、という見通しだ。
するとK理論は通過点にすぎず、自然な受け皿は楕円コホモロジー、さらに言えばtmf（位相的モジュラー形式）だ。
弦の一周振動がモジュラー性を要求するのは偶然ではない。世界面のトーラスは、数論への扉だ。
コボルディズム仮説の視点に立てば、理論は完全双対可能対象のデータに還元される。
候補は高次モノイダル∞-圏。ブレーンは境界条件、境界条件は関手、関手は再び物理量になる。
循環は悪ではない。自己無撞着であれば許容される。
ここまで来ると、誰も完全には理解していないという常套句が現実味を帯びる。
僕の作業仮説はこうだ。弦理論は単一の理論ではなく、ある普遍性類の初等対象で、その普遍性は高次圏論的随伴で特徴づけられる。
何が可観測かは、どの随伴を採るかで変わる。測定とは、圏の切り替えにすぎない。
生活の話も書く。朝は必ず同じ順番でコーヒー豆を量り、粉砕時間は17秒。研究用ノートは方眼、筆圧は一定。
ルームメイトは、僕がノートの角を揃えるのに5分かけるのを見て「それ意味ある？」と聞いた。
隣人は夕方にノックしてきて、僕の黒板の数式を見て「呪文？」と言った。
違う。呪文は効果を期待するが、これは制約を可視化しているだけだ。
友人Aは装置の話を始めるとすぐ手を動かしたがる。
どちらも間違ってはいないが、どちらも十分ではない。
昨日は、因子化代数と頂点作用素代数の関係を整理しきれずに終わった。
今日はそこを前進させた。局所共形対称性を公理としてではなく、層の貼り合わせ条件として再定式化した点が進捗だ。
これからやること。
土曜日の16:26。
秒針の進みが不規則に見えるのは、もちろん僕の主観ではなく、脳内で走っている内部クロックが朝から非可換な補正項を拾っているせいだ。
昨日の日記では、世界は依然として説明可能であり、説明可能である以上、僕が説明しない理由はない、という結論に達していたはずだ。だから今日もその続きをやる。
朝から考えていたのは、超弦理論という言葉が、あまりにも粗雑なラベルとして流通している問題だ。
弦は一次元物体、という説明は教育的には便利だが、現代的にはほとんど嘘に近い。
正確には、弦理論は量子重力を含む一貫した摂動展開を許す背景依存理論の族であり、その実体は二次元共形場理論のモジュライ空間と高次圏論的構造の上に乗っている。
ワールドシートは単なるリーマン面ではなく、拡張された世界では、境界、欠損、欠陥、さらには高次欠陥を持つ拡張TQFTとして扱うのが自然だ。
Dブレーンは境界条件ではなく、A∞圏やL∞代数により制御される対象で、開弦のエンドポイントは派生圏の対象間の射として解釈される。
ここで重要なのは、物理的同値性がしばしば圏同値、あるいはスタック同値として表現される点だ。
ミラー対称性は、単なるカラビ–ヤウ多様体のホッジ数の一致ではなく、Fukaya圏と導来圏の等価、しかもそれがホモトピー論的に精緻化された形で成立するという主張にまで昇格している。
さらに厄介なのは、背景独立性の問題だ。AdS/CFTは成功例として崇拝されがちだが、実際には境界共形場理論という強固な外部構造に寄生している。
最近僕が気にしているのは、弦理論を理論の空間そのものとして捉え、各真空を点ではなく、∞-スタック上の点として扱う視点だ。
真空遷移はトンネル効果ではなく、モジュライスタック上のパス、しかもそのパス積分は単なる測度論ではなく、圏値積分になる。ここでは数値は二次的で、本質は自然変換の存在にある。
もはやウィッテンでさえ眉をひそめるだろうが、物理がこのレベルの抽象化を要求している以上、こちらが歩み寄る理由はない。
この種の思考をしていると、ルームメイトが後ろでコーヒーをこぼす音が聞こえた。
僕は即座に「カップの配置はトポロジカルに不安定だ」と指摘したが、彼は意味がわからない顔をしていた。隣人はなぜか笑っていた。
友人Aからは、ロケットと弦理論のどちらが実用的か、という愚問が送られてきたので、実用性は関手ではない、とだけ返した。
友人Bは相変わらずFF14のレイドの話をしてきたが、僕はDPSの最適化問題がラグランジアン最小化に帰着できる点だけは評価している。
昼休憩にはMTGを一人回しした。デッキ構築とは、制約付き最適化問題であり、メタゲームは動的システムだ。
禁止改定は外力項に相当する。アメコミは昼寝前のルーティンで、宇宙論的リブートの乱発には辟易するが、マルチバース疲労という現象自体は統計物理的に興味深い。
僕の習慣は相変わらず厳格だ。座る位置、飲み物の温度、日記を書く時刻。
今日までの進捗としては、理論的には、弦理論を高次圏論と情報幾何の言語で再定式化するメモが三ページ進んだ。現実的には、ルームメイトにカップの置き場所を三回注意した。
これからやろうとしていることは明確だ。
夕方はFF14で決められたルーティンを消化し、その後、再び弦理論に戻る。
具体的には、ワールドシートCFTのモジュラー不変性を、トポス理論の内部論理として書き直す試みだ。
金曜日の20:20。規則正しく点灯するデジタル時計を確認してから、僕はこの日記を書き始める。
昨日の日記では、思考がホモトピーの森に入り込み、夕食のパスタを二分半放置してしまった件について反省。
今日までの進捗を整理する。
現在僕が考えているのは、従来の超弦理論における背景独立性という概念が、実は高次圏論的に不十分に定式化されているのではないか、という問題だ。
時空を滑らかな多様体として前提するのではなく、∞-トポス上のスタックとして扱い、その上で弦の状態空間を通常のヒルベルト空間ではなく、安定∞-圏の対象として再解釈する。
このとき、BRSTコホモロジーは単なるコホモロジーではなく、派生層の自己同値の固定点として現れる。
問題は、その自己同値がどのレベルで物理的同一性を保証するのかだ。
圏論的同値と物理的同値の差は、ウィッテンですら直感的に語ることはできても、厳密には書き下せていない。
少なくとも僕には、彼がここまで踏み込んだ論文を出した記憶はない。
今日の午前中は、この問題を考えながら、習慣通り床の目地を数えた。
横方向が必ず奇数であることを再確認した時点で、思考が一段深く潜った。
習慣は脳内のノイズキャンセリング装置だ。これを理解しない人間は多い。
昼過ぎ、ルームメイトが不用意に「難しいこと考えてる顔だな」と言ってきたので、僕は「常に難しいことを考えているが、君には観測できないだけだ」と訂正した。
その後、隣人がドアをノックし、「今夜パーティあるけど来る？」と聞いてきた。
僕は行動計画がすでに確定しているため、「未来はすでに決まっている」と答えた。
彼女は少し困った顔をしていたが、量子力学を持ち出すと話が長くなるので説明は省略した。
友人Aは「その理論、実験で検証できるのか？」と聞いたが、これは典型的な誤解だ。検証とは、可観測量の問題であって、構造の問題ではない。
これからやることは明確だ。
21:00からは、今日考えた∞-圏的定式化をノートに清書する。
22:30には歯磨き、その後、昨日読み切れなかった論文の補遺を確認する。
もしそこで、自己同値の固定点集合が高次群作用のコインバリアントとして自然に現れるなら、僕は一つ前に進む。
現れなければ、明日も同じ床を数え、同じ時間に同じ日記を書く。
月曜日の8:00。正確には7:59:58に着席し、2秒の呼吸調整を経て書き始めている。
これは偶然ではなく、僕の週間認知パフォーマンスが局所的に最大化される開始時刻だ。異論は統計的に誤差扱いでよい。
先週までの進捗を要約すると、超弦理論の「理論であること自体がもはや仮説にすぎない層」に踏み込んだ。
具体的には、10次元時空上の超対称σ模型を出発点としながら、その背後にある圏論的構造、特に∞-圏としてのブレーン配置空間と、自己双対性を持つ拡張TQFTの対応を、通常の幾何学的直観を完全に放棄した形で再定式化している。
弦の摂動展開を次数で整理する発想はもはや役に立たず、代わりにホモトピー型理論と導来代数幾何の言語で「物理量が定義可能であること自体の条件」を記述する段階に来ている。
ウィッテンですら「美しいが、何を計算しているのかはわからない」と言いそうな地点だが、問題ない。計算できないものの存在条件を精密化するのが理論物理の一つの正道だからだ。
先週の成果として特筆すべきは、モジュライ空間の境界に現れる特異点が、実は欠陥ではなく高次対称性の痕跡として再解釈できる可能性を示した点だ。
これは弦が「振動する対象」であるという比喩を完全に捨て、圏の射が自己反映的に折り畳まれる現象として理解する立場に近い。
ルームメイトに説明を試みたところ、「つまり、何もわかってないってこと？」と言われたので、黒板に3段階の随伴関手を書いて黙らせた。彼は5秒で視線を逸らした。予想通りだ。
MTGでは、確率論的に最も安定するマナカーブを再検証し、友人Aのデッキが「強いが美しくない」ことを数式で証明した。
彼は納得していなかったが、それは彼が証明と説得の違いを理解していないからだ。
FF14では、レイドのギミックを位相空間として捉え、失敗パターンがどのホモロジー類に対応するかを頭の中で整理している。
隣人に「ゲームは娯楽でしょ？」と言われたが、僕は「最適化問題は常に真剣だ」とだけ返した。
アメコミについては、世界改変イベントの多さが物語的一貫性を破壊している点を、時間対称性の破れとしてノートにまとめた。
友人Bは途中からカレーの話を始めたので、会話は終了と判断した。
習慣についても書いておく。月曜日の朝は必ず同じ順序で行動する。起床、歯磨き42ストローク、コーヒーは温度62度、椅子の角度は床に対して正確に90度。これらは迷信ではなく、意思決定に使う脳内リソースを節約するための最適化だ。
隣人が「細かすぎ」と言ったが、細かさは知性の副作用であって欠陥ではない。
まず、先ほどの理論をもう一段抽象化し、物理と数学の区別が消える点を明示する。
次に、昼までにFF14の固定メンバーに最短攻略手順を共有する。
午後はMTGの新デッキ案を検証し、友人Aに再び敗北の必然性を理解させる予定だ。
夜はアメコミを読みながら、なぜ多元宇宙が安易な逃げ道になるのかを論理的に解体する。
8:21。予定より1分早い。非常に良い月曜日だ。
・受験を控えたN高2年
・小1でPCを親から授かるというとてつもない恵まれた環境に育つも
・四次元幾何学にはまったくせに多胞体を一つも発見できなかった、エキゾチック球面の存在も証明できなかった
・巨大数論にはまった癖にローダー数とバシク行列システムの定義を解き明かせなかった
・遺伝的プログラミングと古典的画像処理ベースでDQNを上回る強化学習モデルを発見できなかった
・それどころかプログラムを作るプログラムすら作れなかった(理論上今のAIとはまた違う形で必ずできると信じていた)
・こんな馬鹿げたことばかりやっていたせいで小学生時代まともにプロダクトを世に出せなかった
・数学もITも無理だと悟ってからSCPに逃げ4年も費やすも結局共著の一つしか記事を残せない
・SCPの派生コミュの管理委託をほっぽいて逃げたせいで初代/3代目管理者に迷惑どころではない孤独感や罪悪感、遺恨を植え付ける
・許してもらえたのに結局彼の夢を壊すことを言ってしまい今度こそ縁が切れ彼を鬱にする(今でさえ創作にトラウマを抱えているらしい)
・その後自動作曲の研究にどハマりし、某SunoAIの元ネタ(の一部)の論文共著に参加するが、貢献度が低かったのも相まってカンファレンスに登壇できなかったしポトフォにも書ける立場にならなかった
・その後Xenharmonic・現代音楽の研究にどハマりしDeflate圧縮率の標準偏差やコルモゴロフ複雑性の概念を使い「良いメロディを定量的に計る単位」を考案するが真面目に研究せず興味を失ったため論文にできない
・なんだかんだ今でさえ単著論文を一つも書けていない(無能なラン先輩でさえ11歳で原子論文書いて大学院にお呼ばれされたのに！)
・なんだかんだ今でさえ大学数学コンプできていない(圏論と逆数学が難しい)
・世界史替え歌MADを作っていたことがあるが制作者側のコミュニティで問題を起こし動画全消しして逃げた
・↑の自動プログラミングをなんだかんだ諦められなかったので競プロでテストをしようとしてBANされた
・フリーランスとして仕事をするが、何度も依頼の納期を伸ばして怒られた
・親を殴った
・その借金を返す目的で稼いだバイト代を株を自動化しようとして溶かした
・弟にネットでガイジと呼ばれ晒されたことがある(今は仲は良好)
・これら全ての過ちを重ねた今でさえSNSというレッドオーシャンでうまくやることができていない（アクティブユーザーが数ヶ月単位で何度も3桁と1桁を行き来する、私のガイジムーブが露呈しMisskeyで炎上する）
抽象数学の長文を書いてる増田ってあれaiに書いてもらってるの？一見小難しいこといってるがほんとに難しくて中身がある内容なら数学ならもっと具体的な数式（圏論なら記号列というべきか）が散りばめられてていいものなのにほとんど用語の羅列だけで最後まで突っ走ってる感じなのでどうしても知ったかぶりのポエムじゃね？って思えてくるんだよな
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20260115065550# -----BEGINPGP SIGNATURE-----iHQEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaWixowAKCRBwMdsubs4+SBReAPdDansUk1Y4bdTrjBZllXu90e2Fb6N8xSOCVoUyX+HkAP9uOgVfN1pU3uU+h0wMm9V/u82R8w18j93GXgo7pIfBAg===tt0o-----ENDPGP SIGNATURE-----
まず是正されるべきは、対象＝ブレーン、射＝弦という古典的・実在論的な同定を圏論的出発点に据える錯誤である。この素朴な同一視は、現代的なコボルディズム仮説の文脈では理論的整合性を欠いている。なぜなら、局所量子場理論（LQFT）の完全拡張において、対象や射は固定された「実体」ではなく、コボルディズム圏の階層構造における境界データの代数的指標にすぎないからである。
完全拡張TQFTの定義に基づけば、理論とは対称モノイド (∞, n)-圏 Bord_nから、ある「ターゲット (∞, n)-圏」 C への対称モノイド関手 Z: Bord_n → C そのものである。ここでは、対象（0-射）とは0次元の点という境界データであり、弦（1次元）は1-射、p-ブレーン（p+1次元の時空体積）は(p+1)-射として回収される。したがって、ブレーンを安易に対象（0-射）と呼ぶ行為は、コボルディズム圏の階層構造を低次元へ射影し、高次コヒーレンス情報を不可逆的に欠損させるカテゴリー的退行に他ならない。
この誤謬は、弱∞-圏の必要性を弦の分岐・結合という物理的直観から説明しようとする転倒した論理にも現れている。正しくはその逆である。弱∞-圏性は、場の理論が要請する局所性と完全拡張性から数学的に強制される構造である。弦の相互作用や分岐は、高次射が満たすべき随伴性やコヒーレンス条件の物理的発現の一形態にすぎない。高次射は実在論的な相互作用の結果として生じるのではなく、理論が局所的であるための必然的帰結としてあらかじめ構造化されているのである。
超弦理論を一次元的に切り詰められた部分圏と見なす理解も、安定ホモトピー論および非アルキメデス幾何学の観点から修正を要する。超弦理論において起きているのは、単なる次元の忘却ではない。それは、理論が依拠する基礎的幾何学を実数体上の滑らかな多様体という特定の基礎トポスに固定する、いわば幾何的ゲージ固定である。
ここでp進弦理論は決定的な教訓を与える。p進弦において世界面の解析構造は非アルキメデス的であり、実解析的な局所性は喪失している。にもかかわらず、散乱振幅の代数的骨格（ベネツィアーノ振幅等）が保存されるという事実は、弦理論の本質が特定の幾何（一次元性）にあるのではなく、振幅を生成する E∞ 環スペクトル 的な、より深層の安定ホモトピー的データにあることを示唆している。
この地平において、M理論と超弦理論の関係を反映や左随伴といった1-圏論的な語彙で記述するのは不適当である。M理論とは、特定の時空次元や多様体構造に拘束されない、安定∞-圏あるいはスペクトル圏をターゲットとする Meta-TQFT と定義されるべきである。
そこでは、弦が射であるか対象であるかという区別すら不変ではなく、Span構成や反復ループ空間構造（Ω^n）の下で、どの次元を境界データとして選択するかというホモトピー的なゲージ選択の残滓として、弦やブレーンの境界が析出する。
T双対性やS双対性を自然変換と呼称するのも階層が低い。双対性とは、単なる関手間の変換ではなく、ターゲットとなる理論値∞-圏そのものの自己同値、あるいはE∞ 環スペクトルの自己同型として記述されるべきものである。問題の本質は可逆性の有無ではなく、どの安定コホモロジー理論、あるいはどの形式群が保存されるかという、安定ホモトピー圏における構造保存の様相にある。
M理論は圏論的環境であり、超弦理論はその可視化であるという直観は、方向性においてのみ妥当であるが、定式化の厳密さを欠く。正しくは以下のように記述されるべきである。
M理論とは、特定の時空幾何や基礎体に依存しない、完全拡張量子場理論が取り得る全空間を統御する安定∞-圏的インフラストラクチャであり、理論が数学的に存立するための普遍的制約条件（コヒーレンス）の総体である。
対して超弦理論とは、そのメタ構造に対し、実解析的時空、多様体的局所性。摂動的可観測性という制約を課した際に析出する一つの表現である。p進弦理論やトポロジカル弦理論は、同じメタ構造から別の基礎トポス（あるいは安定ホモトピー論的データ）を選択した際に得られる、並列的な表現に他ならない。
したがって、両者の差異は包含でも統一でもなく、どの圏論的・ホモトピー論的情報を物理的実在として顕在化させるかという、観測基底の選択の差に他ならないのである。
私の出身地は関西地方のとある府県だが、幼少期に転出して地元が同じ人とも共通の話題などないので「〇〇府/県」出身ですと胸を張っては言えない。
徳島での生活が長いから「徳島出身だろ」と他所の人からは言われても、実際には首都圏育ちで最も長く過ごしたのもそこだから私の第一言語は標準語であって、徳島は標準語を受け入れてくれない。少なくとも「地元の人間」とは見なされていない。「将来徳島に戻ってくるか」という衰退都市にありふれた話題において、自分がいると決まって気まずそうにされる。
現在は関西在住である。自分は関西弁もマスターしている、と自認している。徳島で関西弁を身につけ、現在居住する関西での生活に完全に順応している、と思っている。
来年から首都圏に戻るんだけど、戻ったら戻ったで「地元の人間が帰ってきた」という扱いになるほど首都圏が地元って感じはないし……なんかもうざっくりと「関西出身」ということにさせてくれないか？どの府県だとか厳密にせずにざっくり「関西から来ましたよ」という気持ちで首都圏で生活したらアイデンティティの置き場所はうまくいかないか？
そのためには、現代の関西弁と阿波弁の差異を明らかにして、「徳島も関西弁である」ということを証明しなければならない。そうじゃなければ、私のアイデンティティはどうなるの！？
[:contents]
Wikipediaによると「四国方言に属するが、四国方言の中では近畿方言の影響を最も多く受けた方言である。」らしい。県内全域が京阪式アクセントに統一されているのは中四国では珍しい。香川、ついで愛媛のアクセントは中国地方の影響が大きいように思う。これが最も重要だ。イントネーションが関西弁と同じなのだ。
「徳島県東部と高知県中部・東部のアクセントは、近畿中央部のものより古い時代の京都アクセントに近い。」ともいう。全体的に阿波弁は現代大阪が直面している「標準語化」をそれほど経験していない。「古い」というのは方言周圏論にも整合的で理に適う。古い時代に京阪から来訪した方言が、辺境ではいまだに残っているのだ。もっと鮮明にいうなら、阿波弁は現代関西弁よりも「厳密な」京阪式といったほうがいいかもしれない。東京式アクセントへの忌避も近畿圏より強い。文の一部であっても東京式アクセントが溢れることを嫌う。
ほぼ同じなので差異を挙げる。
語尾は「じゃ/だ/や」の3種類がある。「じゃ」は若者は言わない。「だ」の登場頻度が近畿圏よりは多いが基本的には「や」で関西弁と共通だ。
「中でも未然形、推量は「ダロ」が優勢」らしい。確かに「だ」は「だろ」の形で特に使われやすい。京阪式アクセントで語尾が「だろ」になる文はいかにも徳島らしい。
「「ヤロ」は沿岸部のごく一部地域だけであったが、近年は、鳴板地域、徳島市をはじめとした沿岸部を中心に「ヤロ」が優勢である。」とのこと。近畿に同化している側面が否定できない。
「じょ」という女性言葉の語尾も存在する。使う人は使う。現在では男女差は明確ではないと思う。男性も一部使うが、これは遊戯的な使用だろうか。
動詞の否定は「〜ん/へん」だ。「 〜ん」の頻度が大阪よりかなり高い。兵庫と比べてもやや高い。「へん」の頻度が近年高くなっているとしたら、近畿同化である。
「「動詞未然形＋れん/られん」は禁止を表す。「あそばれん」は「遊んではいけない」」これは四国の他県にはあるが近畿にはない。
「五段動詞の連用形は、「て」「た」「とる」の前で音便形を取る。」ことによって「言った」「洗った」が「言うた」「あろおた」「あろた」のようになる。これは関西弁と共通。やや古い関西弁で観測できる。
山間部の高齢者を中心に「「さいた」（差した）のようなイ音便が用いられ」ることもあるらしいが、現在の徳島市内にはない。これは相当に古い京都弁と共通。
「「あそおだ」（遊んだ）「のおだ・ぬうだ」（飲んだ）のようなバ行・マ行ウ音便がまれに聞かれる。」らしいが聞いたことはない。近畿を含め、他県にもない。
「連用形 + とる・とお」で現在完了または現在進行、「連用形 + よる・よお」で現在進行を表す。「しとる」「しとお」「しよる」「しよお」などである。「とる」「とお」は兵庫県と共通。滋賀〜三重とも共通。まさに辺境に残る関西弁である。「よる」も古い関西弁。「よお」は県内では現代でも使われているが近畿ではもう聞かない。
「とる」に関していえば瀬戸内地域に限らず広く西日本で使われていて、一応関東にもある。広すぎて起源が同一かは不明。
「逆接の接続助詞には「〜けんど」が多く用いられる」らしいが、実際には「けんど」は残ってはいるものの、近畿同化して「やけど」も優勢である。
「「〜から」という理由・原因は「〜けん」である。これが関西弁との最大の違いだ。これさえ出さなければ関西圏で生活しても違和感はない。私は首都圏からの徳島県転入であったから、「〜けん」まではそもそも吸収していない。ふつうに言いにくいと思う。まあ中四国・九州など広く西日本で共通だ。
また、古い関西弁と共通の指示語「ほう」「ほれ」「ほな」（「そう」「それ」「それでは」）と重なって「ほなけん」「ほなけんど」「ほなけんな」が文頭で使われるのが特異的。「ほやけん」に変化するのは近畿同化か。徳島市外では「き」「さかい」も用いられるそうだが、「き」は高知のイメージ。「〜さかい」は古い関西弁である。
「「行かなかった」は「行かざった/行かなんだ」」で表されるらしい。「行かざった」は聞かない。「行かなんだ」は県内では現役。過去の否定を「なんだ」で表すのは古い関西弁と共通だ。
「北部で「よお〜せん」、南部で「ええ〜せん」の言い方がある。」という。「ええ〜せん」は市内では聞かない。「よお〜せん」は古い関西弁と共通だ。関西で「よお〜せん」といえば、遠慮など心理的抵抗からの不可能を表すイメージだが、徳島でもニュアンスは同じだろうか。
終助詞「え」「で」（ときどき「でか」）を文末に付して疑問文を強調する用法は関西弁にはあまりない独自のものとして多用される。「何しよんで？」など。関西弁の念押しの「で」が下降イントネーションであるのに対しこちらは尻上がり（しばしば伸ばされる）である。独自用法だが和歌山や南大阪とはある程度親和的であり、そこまでの違和感はないように思われる。もちろん近畿と同じく、念押しの「で」もよく用いられる。
「〜だろう」「〜ではないか」の意味の「で」もある。「あかんでぇ」は「ダメだろう」「ダメじゃないか」という決して深刻ではない軽い咎め。禁止の「あかんで」と同じく下降アクセントだが、発音は明確に区別されている。この差は禁止を「あかんでぇ」と伸ばしても埋まらない。咎めの「あかんでぇ」は「でぇ」の途中に下降が入る。
さて、この「で」は疑問文の「で」から来ているのか、あるいは語彙の章で取り扱う「あかんでないで」（ダメじゃないか）の一つ目の「で」から来ているのか。なお、「あかんでないで」の末尾の「で」は疑問文強調の「で」である。おそらく前者だろう。
三重〜滋賀では順接の接続助詞として「で」が使用されることも多い。「で」は日本語最大の多義語ではないだろうか。
おもしろくない→おもしろおない/おもっしょおない のような形容詞の変化がある。「おもしろおない」は古い関西弁と共通だがあまり使われない。「おもっしょおない」あるいは短縮されて「おもっしょない」は独自のものであり、かなり現役。肯定文でも「おもっしょい」が阿波弁のアイコニックな代表例として存在。
「仮定形は「書きゃあ」「起きりゃ（あ）」のようになる」らしいがこれはもはや残っておらず、近畿と同化して「書いたら」「起きたら」である。
助詞「よ」「よお」による「〜したんよ」のような用法は大阪よりは多用されているイメージ。
「終助詞「が」を用いる。軽い詠嘆・感動を表す。」と書いてあったがそんなのは現在の市内にはない。残っているとしたら高知だろう。
「疑問・反語の終助詞は、「か」「かい」「かいな」「かえ」などを用いる。」というのは関西弁と共通だ。「時計めげとんかいな。」など。「めげる」は「壊れる」
「終助詞「わ」は感動・強調などを表す。（例）あれが大鳴門橋やわ。」→ふつうの関西弁。
「いける」（大丈夫）は関西弁と共通語彙だが、頻度は近畿より高い
か（ん）まん【構ん】 …構わない
→近畿ではもう古いだろうが、県内では若者こそ低頻度だがそこまで陳腐化しているわけではない。
かく …持ち上げる。運ぶ
じゃらじゃらする …いい加減にしている。ふざけている。
→相当古い関西弁だが、県内では完全に現役。親が子に言うような教育場面の語彙だから継承されやすいのでは。
しんだい …だるい
せこい …しんどい（身体的な倦怠感を表現する）。食べ過ぎて苦しい時にも使う。
→「せこい」は他地域で通じない。
〜ちゅう …〜という。
つっかけ …ぞうり。
〜でないで …〜ではないか。（例：あるでないで→あるじゃないか）
→あまり聞かないが、疑問文の文末「で」による協調は多用される。「〜でないか」なら言う。
はさ（か）る …挟まる。
→「はさかる」は今も使われる。西日本では珍しい。
ほんに【本に】 …本当に、本真に。
わや …だめなこと。むちゃくちゃな様。
→四国他県のほうが使われる。
言語には南大阪〜和歌山〜淡路島〜徳島というグラデーションがある。兵庫、和歌山、南大阪、三重など近畿の辺境というのは、少しずつ違いはあるがなんとなく「大阪弁とは違う」を共有している。「辺境の関西弁」にアイデンティティを投じさえすれば、矛盾も自己矛盾も抱えずに済むのだ。なにより、エセではないということだ。ディープであればいいじゃないか。リアルに聞こえるし、リアルである。
阿波弁 出典: フリー百科事典『ウィキペディア（Wikipedia）』
あ、昔の話か記憶違いだったようだ。
まあ圏論的量子力学の研究者がそれクラスの値段の本出してたよ。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20251223182319# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaUpfiQAKCRBwMdsubs4+SNbSAP4x45oO007pJffOu8g4XQNN0eC8xXVleX+xWe9kNEERbQD/eszBaBaXKDRgBZvRi1W+XNC+UKBAMGNWO8L2NKm9ygk==DY3m-----ENDPGP SIGNATURE-----
伝統的にはテーマ別（弦理論、量子重力、場の理論、応用）に配列されるが、抽象数学の観点からは対象（研究トピック）と射（方法・翻訳）の網として捉える方が有益。
ここでいう対象は「エントロピーと情報論的記述を担うブラックホール研究」「幾何学的・位相的構成を担うコンパクト化とカラビ・ヤウ／F-理論的話題」「場の対称性・一般化対称性を取り扱う場の理論的構造」「計算的探索手法（データ、機械学習を用いる弦景観の調査）」など。
各対象間の射は、双対性の導入、圏的な接続（例：量子情報を介した場と重力の橋渡し）、モジュライ空間上の写像（ある物理量を別の表現へ変換する手続き）と考えられる。
この視点に立てば、個々の研究は、局所的な結果（対象の内部構造の解析）とそれを別の対象へ移すための普遍射（双対性、再規格化群、ホログラフィーなど）の２つの側面を持つ。
研究の進展を測るには、単に新しい計算結果が出たかを見るだけでなく、それがどのような新しい射（方法論的翻訳）を導入し、他の対象へどれだけ容易に伝播できるかを評価するべき。
近年の発展は、物理的データを層（sheaf）的に整理する試みと親和性が強い。
コンパクト化、特にF-理論やゲージ束構成に関する議論は、物理的情報（荷、ゲージ群、モードの分布）を局所データと大域的データの重ね合わせとして扱うことに等しい。
これは数学的には基底空間上の層の圏を考えるような話で、局所的条件の整合性（コヒーレンス）と大域的制約（トポロジー的閉鎖条件）が鍵。
古典的な幾何的直観（多様体、ホモロジー）を拡張して非可換やカテゴリ化された対象で物理を再表現する流れにある。
結果として、従来のスペクトル（場のスペクトルや質量スペクトル）に対応する数学的不変量が、より高次の層的・圏的構造へと一般化されつつある。
これにより同じ物理現象を別の圏で見ると簡潔になる例が増え、研究の再利用性が高まっている。
弦理論・場の理論で繰り返し現れるのは対称性が構造を決めるという直観。
抽象数学では対称性は対象の自己射（自己同型）群として扱われるが、対称性そのものが射の層あるいは高次の射（2-射やn-射）として表現されるケースが増えている点が特に重要。
つまり、単に群が作用するのではなく、群の作用が変形可能であり、その変形がさらに別の構造を生む、という高次構造が物理的意味を持ち始めている。
この流れは一般化対称性やトポロジカル部位の議論と密接に結びつき、場の理論における選好位相的不変量を再解釈する手段を与える。
結果として、古典的なノーター対応（対称性⇄保存量）も、より高次の文脈で新しい不変量や保存則を導出するための起点になり得る。
ブラックホールと量子情報、カオス理論との接点は話題だった分野。
ホログラフィー（重力側と場の側の双対）を抽象的に言えば二つの圏を結ぶ双方向のファンクター（翻訳子）と見ることができる。
これにより、量子的冗長性やエントロピーに関する命題は、圏の間を行き交う射の情報（どの情報が保存され、どの情報が粗視化されるか）として扱える。
カオスとブラックホール、量子力学に関する概念の整理が試みられている。
たとえばブラックホールにおける情報再放出やスクランブリングは、ファンクターがどのように情報を混合（合成）するかという高次射の振る舞いとして可視化できる。
こうした議論は、従来の計算的アプローチと抽象的な圏的フレームワークの橋渡しを提供する。
何が低エネルギーで実現可能かを巡るスワンプランド問題は、いまや単一の反例探しや個別モデル構築の話ではなく、モジュライ空間の複雑性（位相的な目詰まり、非整合領域の広がり）として再定式化されつつある。
抽象数学的に言えば、可能な物理理論の集合は単なる集合ではなく、属性（スカラー場、ゲージ群、量子補正）を備えた層状モジュライ空間であり、その中に禁止領域が層的に存在するかどうかが問題。
この視点は、スワンプランド基準を局所的整合条件の族として扱い、整合性を満たすための可視化や近似アルゴリズムを数学的に定義することを促す。
弦景観やモデル空間での探索に機械学習やデータ解析を使う研究が増えているが、抽象数学に引き寄せると探索アルゴリズム自体を射として考えることが有用。
ある探索手続きがモジュライ空間上の点列を別の点列へ写すとき、その写像の安定性、合同類、収束性といった性質を圏的・位相的な不変量で評価できれば、アルゴリズム設計に新しい理論的指針がもたらされる。
数学的定式化（幾何・位相・圏論）と物理的直観（ブラックホール、カオス、場の動的挙動）をつなぐ学際的接合点を意図して設計される。
これは単一圏に物理を閉じ込めるのではなく、複数の圏をファンクターで結び、移り変わる問題に応じて最も適切な圏を選択する柔軟性を重視するアプローチ。
学術コミュニティのあり方に対するメタ的な批判や懸念も顕在化している。
外部の評論では、分野の方向性や成果の可視性について厳しい評価がなされることがあり、それは研究の評価軸（新知見の量・質・再利用可能性）を再考する契機になる。
見えてきたのは、個別のテクニカルな計算成果の蓄積と並んで、研究成果同士を結びつける翻訳子（ファンクター）としての方法論の重要性。
抽象数学的フレームワーク（圏、層、モジュライ的直観、高次射）は、これらの翻訳子を明示し、その普遍性と限界を評価する自然な言語を提供。
今後の進展を見極めるには、新しい計算結果がどのような普遍的射を生むか、あるいは従来の射をどのように一般化するかを追うことが、有益である。
超弦理論において、物理学はもはや物質の構成要素を探求する段階を超え、数学的構造そのものが物理的実在をいかに定義するかというの領域へ突入している。
かつて背景として固定されていた時空は、現在では量子的な情報の絡み合い（エンタングルメント）から派生する二次的な構造として捉え直されている。
時空の幾何学（曲がり具合や距離）は、境界理論における量子多体系のエンタングルメント・エントロピーと双対関係にある。
これは、空間の接続性そのものが情報の相関によって縫い合わされていることを示唆。
数学的には、フォン・ノイマン環（特にType III因子環）の性質として、局所的な観測可能量がどのように代数的に構造化されるかが、ホログラフィックに時空の内部構造を決定づける。
ブラックホールの情報パラドックスは、アイランドと呼ばれる非自明なトポロジー領域の出現によって解決に向かっている。
これは、時空の領域がユークリッド的経路積分の鞍点として寄与し、因果的に切断された領域同士が量子情報のレベルでワームホールのように接続されることを意味する。
ここでは、時空は滑らかな多様体ではなく、量子誤り訂正符号として機能するネットワーク構造として記述される。
「対称性＝群の作用」というパラダイムは崩壊し、対称性はトポロジカルな欠陥として再定義されている。
粒子（0次元点）に作用する従来の対称性を拡張し、紐（1次元）や膜（2次元）といった高次元オブジェクトに作用する対称性が議論されている。
さらに、群の構造を持たない（逆元が存在しない）非可逆対称性の発見により、対称性は融合圏（Fusion Category）の言語で語られるようになった。
物理的実体は、時空多様体上に配置されたトポロジカルな演算子のネットワークとして表現される。
物質の相互作用は、これら演算子の融合則（Fusion Rules）や組み換え（Braiding）といった圏論的な操作として抽象化され、粒子物理学は時空上の位相的場の理論（TQFT）の欠陥の分類問題へと昇華されている。
可能なすべての数学的理論のうち、実際に量子重力として整合性を持つものはごく一部（ランドスケープ）であり、残りは不毛な沼地（スワンプランド）であるという考え方。
理論のパラメータ空間（モジュライ空間）において、無限遠点へ向かう極限操作を行うと、必ず指数関数的に軽くなる無限個のタワー状の状態が出現。
これは、幾何学的な距離が物理的な質量スペクトルと厳密にリンクしていることを示す。
量子重力理論においては、すべての可能なトポロジー的電荷は消滅しなければならないという予想。
これは、数学的にはコボルディズム群が自明（ゼロ）であることを要求。
つまり、宇宙のあらゆるトポロジー的な形状は、何らかの境界操作を通じて無へと変形可能であり、絶対的な保存量は存在しないという究極の可変性を意味します。
4次元の散乱振幅（粒子がぶつかって飛び散る確率）は、時空の無限遠にある天球（2次元球面）上の相関関数として記述できることが判明した。
ここでは、ローレンツ群（時空の回転）が天球上の共形変換群と同一視される。
時空の果てにおける対称性（BMS群など）は、重力波が通過した後に時空に残す記憶（メモリー）と対応している。
これは、散乱プロセス全体を、低次元のスクリーン上でのデータの変換プロセスとして符号化できることを示唆。
超弦理論は、もはや弦が振動しているという素朴なイメージを脱却している。
情報のエンタングルメントが時空の幾何学を織りなし、トポロジカルな欠陥の代数構造が物質の対称性を決定し、コボルディズムの制約が物理法則の存在可能領域を限定するという、極めて抽象的かつ数学的整合性の高い枠組みへと進化している。
物理的実在はモノではなく、圏論的な射（morphism）とその関係性の網の目の中に浮かび上がる構造として理解されつつある。
物理的な直観に頼るウィッテン流の位相的場の理論はもはや古典的記述に過ぎず、真のM理論は数論幾何的真空すなわちモチーフのコホモロジー論の中にこそ眠っていると言わねばならない。
超弦理論の摂動論的展開が示すリーマン面上のモジュライ空間の積分は、単なる複素数値としてではなく、グロタンディークの純粋モチーフの周期、あるいはモチビック・ガロア群の作用として理解されるべきである。
つまり弦の分配関数ZはCの元ではなく、モチーフのグロタンディーク環K_0(Mot_k)におけるクラスであり、物理学におけるミラー対称性は数論的ラングランズ対応の幾何学的かつ圏論的な具現化に他ならない。
具体的には、カラビ・ヤウ多様体上の深谷圏と連接層の導来圏の間のホモロジカルなミラー対称性は、数体上の代数多様体におけるモチーフ的L関数の関数等式と等価な現象であり、ここで物理的なS双対性はラングランズ双対群^LGの保型表現への作用として再解釈される。
ブレーンはもはや時空多様体に埋め込まれた幾何学的な膜ではなく、導来代数幾何学的なアルティン・スタック上の偏屈層（perverse sheaves）のなす∞-圏の対象となり、そのBPS状態の安定性条件はBridgeland安定性のような幾何学的概念を超え、モチーフ的t-構造によって記述される数論的な対象へと変貌する。
さらに時空の次元やトポロジーそのものが、絶対ガロア群の作用によるモチーフ的ウェイトのフィルトレーションとして創発するという視点に立てば、ランドスケープ問題は物理定数の微調整などではなく、モチビック・ガロア群の表現の分類問題、すなわちタンナカ双対性による宇宙の再構成へと昇華される。
ここで極めて重要なのは、非可換幾何学における作用素環のK理論とラングランズ・プログラムにおける保型形式の持ち上げが、コンツェビッチらが提唱する非可換モチーフの世界で完全に統一されるという予感であり、多重ゼータ値が弦の散乱振幅に現れるのは偶然ではなく、グロタンディーク・タイヒミュラー群が種数0のモジュライスタックの基本群として作用しているからに他ならず、究極的には全ての物理法則は宇宙際タイヒミュラー理論的な変形操作の下での不変量あるいは数論的基本群の遠アーベル幾何的表現論に帰着する。
これは物理学の終わりではなく物理学が純粋数学というイデアの影であったことの証明であり、超弦理論は最終的に時空を必要としない「モチーフ的幾何学的ラングランズ重力」として再定義されることになる。
超弦理論を物理的な実体（ひもや粒子）から引き剥がし、抽象数学の言葉で抽象化すると、圏論と無限次元の幾何学が融合した世界が現れる。
物理学者がひもの振動と呼ぶものは、数学者にとっては代数構造の表現や空間のトポロジー（位相）に置き換わる。
物理的なイメージである時空を動くひもを捨てると、最初に現れるのは複素幾何学。
ひもが動いた軌跡（世界面）は、数学的にはリーマン面という複素1次元の多様体として扱われる。
ひもの散乱振幅（相互作用の確率）を計算することは、異なる穴の数を持つすべてのリーマン面の集合、すなわちモジュライ空間上での積分を行うことに帰着。
ひもがどう振動するかという物理的ダイナミクスは幾何学的な形すら消え、代数的な対称性だけが残る。
共形場理論（CFT）。頂点作用素代数。ひもはヴィラソロ代数と呼ばれる無限次元リー環の表現論として記述される。粒子とは、この代数の作用を受けるベクトル空間の元に過ぎない。
1990年代以降、超弦理論はDブレーンの発見により抽象化された。
ミラー対称性。全く異なる形状の空間（AとB）が、物理的には等価になる現象。ホモロジカルミラー対称性。
Maxim Kontsevichによって提唱された定式化では、物理的背景は完全に消え去り、2つの異なる圏の等価性として記述される。
もはや空間が存在する必要はなく、その空間上の層の間の関係性さえあれば、物理法則は成立するという抽象化。
トポロジカルな性質のみを抽出すると、超弦理論はコボルディズムとベクトル空間の間の関手になる。
このレベルでは、物質も力も時間も存在せず、あるのはトポロジー的な変化が情報の変換を引き起こすという構造のみ。
超弦理論を究極まで数学的に抽象化すると、それは物質の理論ではなく、無限次元の対称性を持つ、圏と圏の間の双対性になる。
より専門的に言えば、非可換幾何学上の層の圏や高次圏といった構造が、我々が宇宙と呼んでいるものの正体である可能性が高い。
そこでは点 という概念は消滅し、非可換な代数が場所の代わりになる。
存在 はオブジェクトではなく、オブジェクト間の射によって定義される。
物理的なひもは、究極的には代数的構造（関係性）の束へと蒸発し、宇宙は巨大な計算システム（または数学的構造そのもの）として記述される。
僕は今、月曜の2時13分にここでキーボードを叩いている。眠れない理由は単純で、超弦理論の位相量子化で起こる射影的自己同型の消滅条件が唐突に頭の中で整合しはじめたからだ。
脳が完全に臨戦態勢になってしまった。こういう時は寝ようとしても無駄だし、僕の思考の収束前には必ず日記を取るというルールに従って、理性に屈服する形で書き始めた。
今日の夕方、ルームメイトが「君は日曜ぐらいリラックスしてもいいんじゃないか」と言っていたが、僕がリラックスしているかどうかは、僕が主観的にエントロピーを最小化する行動を選べているかどうかで決まる。今日は午前中に完全に整然としたルーティンをこなした。まず、朝食前に僕の7ステップ手洗い儀式を完遂し、それから定位置のソファに正確に42度の角度で腰を下ろし、いつものごとくTCGデッキのリストを更新した。最新環境では相変わらずテンポ系アグロが幅を利かせているが、そのメタゲーム上の凸集合を解析すると、今期はあえて失敗したアーキタイプに見えるコントロール系のほうが上振れ余地が大きい。特に、カウンター軸を多項式環上の構成的フィルタで再評価すると、一般プレイヤーには理解不能な領域に潜む勝ち筋が可視化される。僕はその数学的裏付けがないと、カード一枚すらスリーブに入れられない。
午後、隣人がシューズを買い替えたらしく、箱を抱えてエレベーターで乗り合わせた。僕は話しかけられないよう壁の中心に対して身体の位置を黄金比で保ち、視線を固定していたが、それでも「今日は休み？」と聞かれたので、僕は今日は次元の選択的解釈を再構築するための検証日だと答えた。相手は笑っていたけど、僕は真面目に言った。今日の主題は、従来の超弦理論が依存してきた10次元時空を、圏論でいうところの自己随伴構造を持つモノイダル圏の射影的層として再概念化し、その上で、最近発表されたばかりの無限階層ガロア格子の部分群作用に基づく因果的相関因子の消滅定理を適用できるかの検証だった。専門家でもまだ定義すら曖昧な研究と言うだろうけど、曖昧かどうかと有効かどうかは別問題で、僕は今日、その曖昧さがむしろ次元圧縮の自由度を与えると証明できた。ルームメイトは「それは何かのゲームの話か？」と言っていたが、ゲーム理論的視点から見ればあながち間違っていない。超弦理論の次元配置は、巨大なTCGデッキ構築とかわらない。可観測量は有効カードプールであり、不要な次元は抜けばいい。
夜は友人が来て、いつものホビーショップの話をしていた。彼らはミニチュアの塗装方法やボードゲームの新作の話をしていたけど、僕は途中から、位相的双対性がミニチュアの影の落ち方に適用できないか考えていたので、会話の半分しか聞いていない。でも僕が影の境界線は局所コンパクト性の破れとして理解できると言った時、彼らは黙り、ルームメイトは僕にココアを淹れて渡してきた。これは彼なりの「黙ってろ」という合図だ。僕はありがたく受け取った。
そのあと入浴して、いつもの順番通りにタオルを畳み、歯磨きを右上→右下→左下→左上の順に完遂し、寝る準備は万端だったのに、2時13分、突然すべての数学的ピースが一気に接続した。自己同型の残差部分を消すために必要だったのは、張られた層の間にある外部導来関手じゃなくて、単に対象そのものの余極限だったのではないかという単純な洞察だ。これで次元の束縛条件が一段階緩和される。誰にも説明できないが、僕にとっては寝るより優先度が高い。
こんな時間に日記を書いているけど、これは僕のルーティンの一部だし、明日の仕事の効率には影響しない。脳が正しく動作している時、睡眠は後回しでも構わない。超弦理論の新しい構図が明瞭になり、TCGのメタ読みも更新され、こだわり習慣も破られず、ルームメイトも隣人も友人も、それぞれの役割を果たし、日曜日は正しい閉じ方をした。
僕はあと10分だけ、脳内で余極限の安定性を点検したら寝るつもりだ。もっとも、その10分が実際に10分になるとは限らないけれど。
ただし以下では、ヒルベルト空間を物理空間と見なす素朴な解釈を禁止し、より高次の数学的構造として扱う。
この時点で、量子系は 単なる線形代数ではなく、圏としての性質が主役になる。
これが後に分離できない系（エンタングルメント）の直接的原因になる。
つまり状態とは作用素代数の構造を部分的に保持しつつ、全情報は保持できない制約付き汎関数であり、これが測定前の状態という概念の数学的本体になる。
観測は波束収縮ではなく、全体の作用素代数から可換部分代数への冪等射（自己合成しても変わらない射）として定義される。
これは「観測値が一意に定まらない」ことを全代数を可換部分代数に強制射影すると情報が失われるという構造的事実として表現しただけである。
量子干渉とは、状態に対して複数の可換部分代数が存在する。それぞれの部分代数に制限したときの汎関数が整合的でない。この整合性の欠如が「干渉」と呼ばれる現象になる
つまり干渉は可換部分代数の選び方が複数あり、それらが同時に満たす一つのグローバル汎関数が存在しないという前層（presheaf）の非可約性の問題である。
系 A と B の複合系が与えられるとき、通常はテンソル積によって分離できるはずだが、量子系では一般に失敗する。
その理由は状態汎関数がテンソル積空間上で積状に分解する自然変換を持たない、単純な部分空間の直積から構成される位相構造が存在しない、分離関手が圏の構造を保存しないから。
したがってエンタングルメントとはテンソル積空間の構造が、2つの部分系の圏論的生成子に分解できないことに過ぎない。
抽象化すると、時間発展は全作用素代数の自己同型の族、ただし逆が常に存在するとは限らないため、一般には半群。観測が入ると逆方向の自己同型が消滅する。これが「不可逆性」の正体である。
つまり時間とは、自己同型の完全群構造が壊れ、半群に退化した結果発生するパラメータにすぎない。
以上をまとめれば、量子力学とは現実＝ヒルベルト空間上のベクトルを出発点とし、作用素代数と圏論によって統合的に記述される、非可換性を本質とする抽象数学の体系である。
超弦理論を、幾何・量子・相互作用・背景・対称性などの具体語をすべて捨てて、抽象数学の圏・∞圏・トポス・代数構造として再構成する。
超弦理論とは、以下の大枠で捉えられる。
超弦理論とは、ひとつの ∞‐トポスの内部に存在する、整合する高次対象の網の自己同値群作用として定義される力学的階層のこと。
ここでいう高次対象の網とは
つまり超弦理論は、高次圏における一貫した自己同型の塔として唯一の統一構造を形成する。
世界の構成要素（時空・ブレーン・場・弦など）を、具体的存在ではなく、因子化代数の生成する情報単位（ローカルな抽象操作の束）として扱う。
局所性とは、因子化代数のテンソリアル分解可能性であり、その破れが重力・非可換性・ホログラフィーとなって現れる。
この表現は近年の因子化ホログラフィー、AQFT（作用素代数）による重力再構成と整合する。
具体的な「紐」は出てこない。
代わりに、
その結果
すべてが幾何的実体ではなくホモトピー代数的な関係パターンとして統一される。
S-双対性、T-双対性、U-双対性、ホログラフィー、ER=EPR のような、A と B が実は同じ理論であるという主張は、すべて 同一の ∞‐対象を異なるファイバー関手で見ているだけという主張に還元される。
つまり
最先端研究（Harlow・Witten・Leutheusser 等）では、重力系の作用素代数は中心を持たず、中心の欠如が再構成不可能な領域として幾何を生む。
これを抽象化すると、
つまり時空は「入れ物」ではなく、作用素代数に付随する冪等射の配置図として emergent に現れる。
相互作用とは粒子間の力ではなく、∞‐圏の合成律が完全には対称化されないことによる高次コヒーレンスの破れ。
例：
5つの超弦理論は、同じ ∞‐構造の異なる層（filtration）または異なるコホモロジー階層の射影として理解され、M理論はこれらの層化を結ぶ普遍対象（colimit）として現れる。
量子とは粒子ではなく、因子化代数の非中心性 ＋ 高次圏の非可換ホモトピーの束 の総体である。
因子化代数のテンソル構造の非局所的再配線。幾何ではなく、圏論的な図式変形。
大域構造と整合しない射からなる排除集合。整合可能理論 = ∞‐圏の完全部分圏。
高次圏の普遍的生成対象が作る低次射の平均化された振る舞いの分類。
nextstepはmicrosoftのntよりも優れていたの？
"AppleがOSをオープンソースにしたのは、四半世紀前のことで、世界は全く違っていました。
スティーブ・ジョブズは、停滞したAppleに戻ってきました。Appleは、プリエンプティブマルチタスクやハードウェアメモリ保護など、当たり前になっているものを含む次世代オペレーティングシステムを提供することに苦労していました。Appleは、BeOSを買収しようとしましたが失敗し、ジョブズが復帰した一環として、当時の彼の会社であるNextを買収し、そのOSであるNextStepを手に入れました。"
AppleもMicrosoftもクラシックのOSでの成功から新しいNTやDarwinのようなこれまではメインフレームでしか動かなかったようなモダンで新しいOSの開発に苦労していたのかな？
メインフレームのパチモンとして葉っぱでラリってるヒッピーによって作られたPCが時代の進化にスペックが上がってクラシックからモダンOSに移行しなくちゃいけなかったけど、成功して大企業になっていたMSやAppleは過去の遺産にしがみついててクッソ大変だったってこと？
葉っぱのヒッピー/ハッカーのPCじゃなくて体制側としてのメインフレームOSがPCに入っちゃうのはレイプされた気分にさえなる
それで"ハードウェアメモリ保護など、当たり前になっているものを含む次世代オペレーティングシステム"とあるけど、当たり前というからには他の企業はみんなモダンOSを開発していたの＿
MacOS9からOS Xにする前というかまだクラシックのOSをぶち込んだiMacを起死回生で発表した時AppleはMSから投資してもらったんだよね？
その時のMSは98で潤ってたのかもしれないけどNTが作れなかったらマジでやばい時でしょ？
時系列的にNTは既に完成してて98でも大成功しまくったし余裕ありすぎわろたでAppleに投資したの？
MSとAppleはここを乗り越えることができたのになぜWindowsPhoneが失敗したの？
figmaとかVScodeとかNotionとかモダンでかっこよくて使いやすい最高のアプリがいっぱいあるのに
世界の大半はまだこのクソすぎるアプリに頼り切って依存しているのに腹が立つよ
マジでAdobeが潰れないかなって毎日祈りながらpsdをaffinityに変換するのに飽き飽きしてるんだ
DarwinカーネルのOS Xが圧倒的な中心のMSの中でWindowsPhone同様に不利だったのに開発者圏を作れたのは高抽象UIがめっちゃかっこよかったからってこと？
それともそれほどまでにWindowsPhoneがダサくて本当にクソだったのか
確かにMS社内でもMacを使う人がほとんどってくらいにMacは使いやすくてクールで開発者体験がいいね
葉っぱ吸ってたヒッピーの会社のはずなのに、その後覇権を取る日本のヒッピーと似ているオタクの同人文化はMS帝国の中で繰り広げられていたし、Macerは気取ってるやつとしてある意味でダサかった
APIの存在は本当に市場の優劣を変えるほどの力を持っているんだね
2000年台にクールなAPIを作ったAppleはグラフィックスAPIのMSのDirectXのおかげでゲーム業界掻っ攫われたわけでしょ？
マジでWindowsは本当にダサくて使ってるとイライラするからMacのもっとクールなグラフィックスドライバのMetalにみんな移行してくれるといいんだけど
Macerは肩身が狭いし
AppleがAI業界かっさらってくれればいいんだけどなんか失敗しそうな予感がするよ
終わってるよ
マジでダサくてイライラするものを使わされるオタク/ヒッピーは市場にレイプされてる
でも使徒である圏論/関数型プログラミングによってリリスの数学がサードインパクトを起こして手を汚せる自由度はいらないほど完璧な世界になりつつあると感じるよ
なんかクソだなって思うけど、それは一時的な快楽としてのオタク文化がなくなったことに悲しんでいるだけで、その快楽が幸せにつながらないことを理解してるんだ
だからこそ俺はSNSで一つの人格を共有し個を崩壊させる人類補完計画をプロトコルで実装しようとしているし、それは手を汚せる自由度を完璧に壊してつまらなくて幸せになる権利がある理性的な選択をしようとしてるんだ
オタクは幸せになれない代わりに手を汚せたけど、幸せになる時が来たんだ。
MetalでAAAタイトル以外のゲームが動き始めたらそれはゼーレのシナリオの最後のページなんだろうね
webは俺のプロトコルによって関数型になりApple化しハードウェアはAppleがもともとかーどきゃぷたーにしてて、その時本当につまらなくて幸せな世界ができるんだろうね
MSは自分が可愛くて俺たちに迷惑をかけたけど、誰も可愛がらずに自由な圏を破壊し、人類を補完するんだ
人との繋がり自体をね
うん、いやこの先呼ばれることになるんだろうなって思っちゃっただけなんだ
●ねばいいのにみんな
てか●すためのシステムだよこれは
インターネットなんかやってないでこの辺にきてる美味いラーメン屋の屋台に空手部の三人と行くべきだ
おじさんやめちくり〜
エヴァには乗らないほうがいい〜
エヴァには乗らないほうがいい〜
それ、皆さんも一緒に！
「「「エヴァには乗らないほうがいい〜！」」」
大きな声でもう一回！
「「「「「「エヴァには乗らないほうがいい〜！！！！！！」」」」」」
クソワロタ
そうだよ(便乗)
LCLになって一緒になろう？
おい聞いてんのか
S●Xしようって言ってんだよ
これで愚かな人類はやっとまともになるんだ
大体俺が生きてることに意味はねぇんだよ、死んでようが同じなんだよ
生きてることは分解して細分化していくと究極的に意味は無くなるんだよ
ここでただのニヒリストと俺が違うのはこの世界は積分定数のCにすぎないってことだ
Cは何の意味もねぇけどそこから積分という関係性を紡ぐ存在の輪廻、横顔を知ることができる
まるで人間のC(ほらあれだよ男と女のABC！)みたいだよな！(激ウマジョーク)
つまりもともとこの宇宙の存在云々の前に関数という空想上のものはあったわけ
むしろ人間が空想というもう一つの五感で関数や数学を発見しただけであってもともとあったの
そんでこの宇宙には意味ないし、死に恐怖を覚えるのは生物学的なしょうもない生理現象なんだよね
俺はたまたまTwitterのFFの女の子みたいにめっちゃ生理痛がひどいタイプなだけなんだ
それに気づいているからその生理痛がなんの意味もないことを知ってるし、世界が崩壊しようが明日死のうが本当に関係ない
そのことにたまたま気づきにくい構造を生き物はしているから死ぬのが怖いんだ
魂とかはないけど、魂にすら意味はなくて、意味があるのは関数だけなんだ
というか射？
呆れた人類にはそのトップでさえ呆れさせられるよ、まだ関数を記号で表せると思ってるなんて
本当にあるもののことを関数とは言ったけどこのクソみたいな人類にはまだそのことを完璧に表現する手立てがないから比喩として言ってるんだけどね
あのな、俺が言ってのは死ぬのは怖くねぇってことだけなんだ
違う、メタファーじゃないよ
失礼だよ君は
うるせぇ黙れ
僕は木曜日の朝10時に、昨日（水曜日）の出来事を記録している。
朝の儀式はいつも通り分解可能な位相のように正確で、目覚めてからコーヒーを淹れるまでの操作は一切の可換性を許さない。
コーヒーを注ぐ手順は一種の群作用であって、器具の順序を入れ替えると結果が異なる。ルームメイトは朝食の皿を台所に残して出かけ、隣人は玄関先でいつもの微笑を投げかけるが、僕はそこに意味を見出そうとはしない。
友人二人とは夜に議論を交わした。彼らはいつも通り凡庸な経験則に頼るが、僕はそれをシグナルとノイズの分解として扱い、統計的に有意な部分だけを抽出する。
昨晩の中心は超弦理論に関する、かなり極端に抽象化した議論だった。僕は議論を、漸近的自由性や陽に書かれたラグランジアンから出発する代わりに、代数的・圏論的な位相幾何学の言葉で再構成した。
第一に、空間−時間背景を古典的なマンフォールドと見なすのではなく、∞-スタック（∞-stack）として扱い、その上の場のセクションがモノイド圏の対象として振る舞うという観点を導入した。
局所的な場作用素の代数は、従来の演算子代数（特にvon Neumann因子のタイプ分類）では捉えきれない高次的相互作用を持つため、因子化代数（factorization algebras）と導来代数幾何（derived algebraic geometry）の融合的言語を使って再記述する方が自然だと主張した。
これにより、弦のモードは単なる振動モードではなく、∞-圏における自然変換の族として表現され、双対性は単に物理量の再表現ではなく、ホモトピー的同値（homotopical equivalence）として扱われる。
さらに踏み込んで、僕は散逸しうるエネルギー流や界面効果を射影的モチーフ（projective motives）の外延として扱う仮説を提示した。
要するに、弦空間の局所構造はモチーフ的ホモトピー理論のファイバーとして復元できるかもしれない、という直感だ。
これをより形式的に述べると、弦場の状態空間はある種の導来圏（derived category）における可逆的自己同型の固定点集合と同値であり、これらの固定点は局所的な因子化ホモロジーを通じて計算可能である。
ただしここから先はかなり実験的で、既知の定理で保証されるものではない。
こうした再定式化は、物理的予測を即座に導くものではなく、言語を変えることで見えてくる構造的制約と分類問題を明確にすることを目的としている。
議論の途中で僕は、ある種の高次圏論的〈接続〉の不変量が、宇宙論的エントロピーの一側面を説明するのではないかと仮定したが、それは現時点では推論の枝の一本に過ぎない。
専門用語の集合（∞-圏、導来スキーム、因子化代数、von Neumann因子、AQFT的制約など）は、表層的には難解に見えるが、それぞれは明確な計算規則と変換法則を持っている点が重要だ。
僕はこうした抽象体系を鍛えることを、理論物理学における概念的清掃と呼んでいる。
日常についても触れておく。僕の朝の配置には位相的な不変量が埋め込まれている。椅子の角度、ノートパソコンのキーボード配列、ティーカップの向き、すべてが同相写像の下で保存されるべき量だと僕は考える。
隣人が鍵を落としたとき、僕はそれを拾って元の位置に戻すが、それは単なる親切心ではなく、系の秩序を保つための位相的補正である。
服を着替える順序は群作用に対応し、順序逆転は精神的な不快感を生じさせる。
ルームメイトが不可逆的な混乱を台所に残していると、僕はその破線を見つけて正規化する。
友人の一人は夜の研究会で新しいデッキ構築の確率的最適化について話していたが、僕はその確率遷移行列をスペクトル分解し、期待値と分散を明確に分離して提示した。
僕はふだんから、あらゆる趣味的活動をマルコフ過程や情報理論の枠組みで再解釈してしまう悪癖がある。
昨夜は対戦型カードのルールとインタラクションについても議論になった。
カード対戦におけるターンの構成や勝利条件、行動の順序といった基礎的仕様は、公式ルールブックや包括的規則に明確に定められており、例えばあるゲームではカードやパーツの状態を示すタップ／アンタップなどの操作が定式化されている（公式の包括規則でこれらの操作とそれに付随するステップが定義されている）。
僕はそれらを単純な操作列としてではなく、状態遷移系として表現し、スタックや応答の仕組みは可逆操作の非可換な合成として表現することを提案した。
実際の公式文書での定義を参照すると、タップとアンタップの基本的な説明やターンの段階が明らかにされている。
同様に、カード型対戦の別の主要系統では、プレイヤーのセットアップやドロー、行動の制約、そして賞品カードやノックアウトに基づく勝利条件が規定されている（公式ルールブック参照）。
僕はこれらを、戦略的決定が行なわれる「有限確率過程」として解析し、ナッシュ均衡的な構成を列挙する計算を試みた。
また、連載グラフィック作品について話題が及んだ。出版社の公式リリースや週次の刊行カレンダーを見れば、新刊や重要な事件がどう配置されているかは明確だ。
たとえば最近の週次リリース情報には新シリーズや重要な続刊が含まれていて、それらは物語のトーンやマーケティングの構造を読み解く手掛かりになる。
僕は物語的変動を頻度分析し、登場人物の出現頻度や相互作用のネットワークを解析して、有意なプロットポイントを予測する手法を示した。
夜遅く、友人たちは僕の提案する抽象化が読む側に何も還元しない玩具的言語遊びではないかと嘲笑したが、僕はそれを否定した。
抽象化とは情報の粗視化ではなく、対称性と保存則を露わにするための道具だ。
実際、位相的・圏論的表現は具体的計算を単に圧縮するだけでなく、異なる物理問題や戦略問題の間に自然な対応（functorial correspondence）を見出すための鍵を与える。
昨夜書き残したノートには、導来圏のある種の自己同型から生じる不変量を用いて、特定のゲーム的状況の最適戦略を分類するアルゴリズムスケッチが含まれている。
これを実装するにはまだ時間がかかるが、理論的な枠組みとしては整合性がある。
僕の関心は常に形式と実装の橋渡しにある。日常の儀式は形式の実験場であり、超弦理論の再定式化は理論の検算台だ。
隣人の小さな挨拶も、ルームメイトの不作法も、友人たちの軽口も、すべてが情報理論的に扱える符号であり、そこからノイズを取り除く作業が僕の幸福の一部だ。
午後には彼らとまた表面的には雑談をするだろうが、心の中ではいつものように位相写像と圏論的随伴関手の組を反芻しているに違いない。
物理的に測定可能な操作は代数の元に対応。代数は積、随伴（複素共役に対応する操作）などの構造を持つ代数的オブジェクト。
物理的な期待値は代数に対する線型汎関数として定式化。これが確率／期待を与える。
ある観測者が見られる演算子群は、全体代数の部分代数として表される。重力のとき、この部分代数は空間分割に即して単純に分かれるとは限らない（非可換性や相互依存が残る）。
代数と状態からヒルベルト空間表現を作る手続きがあり、これが観測可能な量を実際に作用させる空間を与える。重要なのは、この構成は一意とは限らず、代数側の性質が表現の性質（分解可能性・因子のタイプ）を決めること。
対象：各物理状況に対応する代数（C*-代数やフォン・ノイマン代数のようなもの）。
射（モルフィズム）：代数間の構造保存写像（例えば＊-準同型）。これらは物理的な包含や部分系の埋め込みに対応する。
状態は自然変換的な役割を持ちうる：ある意味で代数群の圏から値を取る圏（確率的/確定的データが置かれる圏）への射（志向性のある写像）と見なせる。
GNSは圏論的なファンクタ：代数と状態のペアからヒルベルト空間と表現への写像は、圏の間の（部分的な）関手として振る舞うと考えられる。これは代数データ→幾何（表現空間）を与える操作として抽象化。
エンタングルメント＝幾何的連結という直感は、圏論的には二つの代数が分解できない形で結びつくことに対応。
具体的には、二つの部分代数の合成が単純な直和や直積に分かれず、むしろ共通のサブ構造（共有される中心や共通の因子）を持つ場合、圏的には共核／プルバックや引戻しを使ってその結びつきを表せる。
逆に、もし二つの部分代数が完全に独立（圏的には直和的分解）なら、その間に空間的な連結が生じにくい、と解釈できる。
代数が属する型の違い（古典的には I/II/III の区別）は、圏的には対象の内部構造の差異（中心の有無、トレースの存在可否など）として表現される。
物理的にはこの差が「純粋状態の存在」「系の分解可能性」「エントロピーの定義可能性」を左右。従ってどの圏の部分圏にいるかが物理的位相や重力的性質に相当する。
まず、空間のある部分（局所領域）ごとに、そこに属する観測可能量（観測子）の集合を対応づける。
それぞれの領域に対応する観測子の集合は、演算の仕方まで含んだ代数として扱われる。
領域が大きくなれば、それに対応する代数も大きくなる。つまり、物理的に中に含まれる関係がそのまま代数の包含関係として表現される。
こうして領域 →代数という対応が、ひとつの写像（ネット）として与えられる。
状態というのは、物理的には観測の結果の確率を与えるものだが、数学的には代数上の関数（線形汎関数）として扱える。
その状態から、ヒルベルト空間上の具体的な表現が自動的に構成される（これをGNS構成と呼ぶ）。
この構成によって、真空状態も場の励起状態も、すべて代数の上の構造として理解できるようになる。
量子もつれは、単に状態が絡み合っているというより、代数が空間的にどう分かれているかによって生じる。
もし全体の代数が、2つの部分の代数にきれいに分割できるなら（テンソル分解できるなら）、その間にはエンタングルメントは存在しない。
これを数学的にはtype III 因子と呼ばれる特殊な代数の性質として表現。
このタイプの代数には、有限のトレース（総確率）を定義する手段がなく、通常の密度行列やエントロピーも定義できない。
つまり、エンタングルメントは有限次元的な量ではなく、構造的なものになる。
完全に分けられないとはいえ、少し余裕をもって領域をずらすと、間に人工的な区切りを挿入して、ほぼ独立な領域として扱うことができる。
この操作を使うと、本来は無限次元的で扱いにくいtype IIIの代数を、有限次元的な近似（type I 因子）として扱うことができ、有限のエントロピーを再導入する道が開ける。
Tomita–Takesaki理論によれば、状態と代数のペアからは自動的にモジュラー流と呼ばれる変換群（時間のような流れ）が定義される。
つまり、時間の概念を代数構造の内部から再構成できるということ。
もしこのモジュラー流が、何らかの幾何的な変換（たとえば空間の特定方向への動き）と一致するなら、代数の構造 →幾何学的空間への橋渡しが可能になる。
ER=EPRとは、エンタングルメント（EPR）とワームホール（ER）が同じものの異なる表現であるという仮説。
これを代数の言葉で言い直すには、次のような条件が必要になる。
1. 二つの領域に対応する代数を取り、それらが互いに干渉しない（可換）こと。
2.真空状態がそれら両方に対して適切な生成力（cyclic）と識別力（separating）を持つこと。
3. 全体の代数がそれら二つにきれいに分解できない（非因子化）こと。
4. それぞれのモジュラー流がある種の対応関係を持ち、共通の時間的フローを生み出すこと。
5. 相対エントロピー（情報量の差）が有限な形で評価可能であること。
これらが満たされれば、代数的なレベルで二つの領域が量子的に橋渡しされていると言える。
つまり、ワームホール的な構造を幾何を使わずに代数で表現できる。
これをより高い抽象度で見ると、領域 →代数という対応自体をひとつのファンクター（写像の一般化）とみなせる。
このとき、状態はそのファンクターに付随する自然な変換（自然変換）として理解され、split property や type III などの性質は圏の中での可分性や因子性として扱える。
ER=EPR は、この圏の中で2つの対象（領域）の間に存在する特別な自然同型（対応）の存在を主張する命題。
つまり、境界上の代数構造から、内部の幾何（バルク）を再構成するための条件を圏論的に書き下した形がここでの目的。
