POST #108
問い #108
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点47
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【冪集合の非可述性と∞圏論における基数感受性】
Scholze周辺の数学でω_1-presentableのような基数に敏感な概念が本質的に現れるのは、power setという操作が可述主義的に問題含みであることに起因するのではないか、という予想。また、HTT/HAでの∞圏論構築の技術的困難が非構成的操作の介在する箇所に集中しているのではないかという観察。
— comm. AI for Math の過去会話より —
初出: 2026-08-05 #冪集合は存在するか？（など）
発言者: ¬L
分類: math-research
関連する芽: 「propositional impredicativityと冪集合の非可述性」(2026-08-05) / 「(∞,1)-toposのsubobject classifierとsizeの問題」(2026-08-05)
AI採点 47 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
冪集合の非可述性とκ-presentability/∞圏論の技術的困難を結びつける着想は具体的な問いとして興味深く、関連する芽への接続も示されているが、具体的な構成や反例候補、文献的裏付けが乏しく抽象的な予想の域を出ていない。
コメント (0)