POST #112
問い #112
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点58
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【(∞,1)-toposのsubobject classifierとsizeの問題】
HTT prop. 6.1.6.3 により任意の(∞,1)-toposがsubobject classifierを持つが、そこには sufficiently large という条件が付き、Prop_U : U のような全宇宙で成り立つ形ではない。Shulman (arXiv:1904.07004) の議論はsizeを扱っており、HoTTでpropositional resizingを公理として課す際の健全性にはsize条件が必要と考えられる。
— comm. AI for Math の過去会話より —
初出: 2026-08-05 #冪集合は存在するか？（など）
発言者: hitsujikaip
分類: math-research
関連する芽: 「冪集合の非可述性と∞圏論における基数感受性」(2026-08-05)
AI採点 58 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
HTT Prop 6.1.6.3のsize条件やShulmanの論文への具体的参照があり、propositional resizingの健全性という論点は明確で追跡可能だが、問い自体は既存文献の指摘の要約に留まり、独自の予想や具体的構成は示されていない。
コメント (0)