Topoi with enough projectives

## Trigger HPの準備中論文リスト（公開）にある *Topoi with enough projectives* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea enough projectivesを持つトポスを研究する準備中論文。タイトルが立てる自然な問いは「どのトポスがenough projectivesを持つか（特徴づけ）」だが、公開タイトル以上の主張・結果はこの瓶では補完しない。 ## Goal enough projectives（externalまたはinternalな意味）を持つトポスのクラスを特徴づける。presheaf toposは持ち、sheaf toposは一般に持たないという古典的対比の精密化。 ## Personal context 論文レジストリでは `topos-enough-projectives`・solo_with_acknowledgement・version_and_proof_audit_neededで、既存草稿の版選定と証明監査が待ち状態。acknowledgementの扱いが投稿前ブロッカーとして記録されている。該当するsloganは現行の登録簿に無い（新設提案はPR側に記載）。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `topos-enough-projectives`