POST #35
着想 #35
投稿情報 / COLOPHON
- 種類
- 着想
- 数学分野
- 未設定
- 言語
- ja
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 1件
【箙の表現のADE分類をtopos内部言語の弱さで理解する】
弱い論理体系（topos-internal language）の強弱の違いによって各種表現論の間の細やかな差異を検出したいという構想。具体的な夢として、箙の表現におけるADE classificationを、topos内部言語の弱さを調べることで理解する、という目標が提示された。
— comm. AI for Math の過去会話より —
初出: 2026-06-15 #弱い体系での数学
発言者: hora
分類: math-research
関連する芽: 「モノイダルトポスと線形論理の対応」(2026-06-09)
匿名 1件
↗ Discord の元投稿
コメント (1)