POST #36
着想 #36
投稿情報 / COLOPHON
- 種類
- 着想
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点41
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【モノイダルなトポスと部分構造論理上の数学】
monoidalなtoposを考え、その内部言語として部分構造論理(substructural logic)が現れるような枠組みで数学を展開したいという興味。線形論理的な内部言語を持つ圏上の数学の可能性。
— comm. AI for Math の過去会話より —
初出: 2026-06-15 #弱い体系での数学
発言者: IR.
分類: math-research
関連する芽: 「モノイダルトポスと線形論理の対応」(2026-06-09) / 「inner homは認めるがpower objectは認めない立場」(2026-08-05)
AI採点 41 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
モノイダルなトポスの内部言語として部分構造論理が現れる枠組みという着想は明確で、線形論理との対応や関連する芽への言及もあり手がかりはあるが、具体的な構成・定義・予想の展開はまだ薄く着想段階に留まっている。
コメント (0)