POST #34
問い #34
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点38
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【点を持たない局所有限表示トポス】
局所有限表示（locally finitely presentable）であるが点を持たない（no points）トポスが存在するという伝聞。トポスの病的例の分類・構成という文脈で出た。
— comm. AI for Math の過去会話より —
初出: 2026-06-15 #弱い体系での数学
発言者: Alwe
分類: math-research
AI採点 38 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
問い自体（局所有限表示だが点を持たないトポスの存在）は具体的で他者が続きを考えやすいが、伝聞情報のみで具体例・構成・文献などの手がかりが全く示されておらず、内容が薄い。
コメント (0)