POST #24
問い #24
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点46
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【local state classifierの∞-topos的階層化】
horaが自身の研究テーマについて、local state classifier を ∞-topos の枠組みで階層的に捉える方向を提案された。自然な舞台は orthogonal factorization system を備えた presentable ∞-category であり、HoTT 側では (U-small) local state classifier を HIT として定義できる可能性が指摘された。
— comm. AI for Math の過去会話より —
初出: 2026-06-10 #💥new-models
発言者: hora, Alwe
分類: math-research
関連する芽: 「Grothendieck toposのlocalic性とLSCの自明性」(2026-08-14)
AI採点 46 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
orthogonal factorization systemを備えたpresentable ∞-categoryを舞台にHITとしてlocal state classifierを定義するという具体的な方向性は示されているが、具体例や構成の詳細、なぜ難しいかの説明が乏しく着想メモの域を出ない。
コメント (0)