{"id":"W4408868599","doi":"10.4310/hha.2025.v27.n1.a10","title":"On Postnikov completeness for replete topoi","year":2025,"lang":"en","type":"article","venue":"Homology Homotopy and Applications","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Topos theory; Completeness (order theory); Pure mathematics; Algebra over a field; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001811857,0.0001189656,0.0002220721,0.00008240193,0.0004059807,0.000007230081,0.000145514,0.0001421883,0.00003712562],"category_scores_gemma":[0.0001505673,0.0001116677,0.00005374976,0.0001118846,0.0002944635,0.00002527917,0.00004540234,0.0001288027,0.00001280411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000151225,"about_ca_system_score_gemma":0.00002512812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001876385,"about_ca_topic_score_gemma":0.000009263166,"domain_scores_codex":[0.9992251,0.00004898748,0.0002022737,0.000299616,0.00002961121,0.0001944262],"domain_scores_gemma":[0.9979107,0.001540112,0.00006414168,0.0003945336,0.00005438552,0.00003613677],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005860451,0.00009988168,0.00008736611,0.00004510853,0.00002929519,9.699037e-7,0.00003827489,0.000001518086,0.0002651924,0.9926504,0.001485255,0.005238055],"study_design_scores_gemma":[0.0004533495,0.00007443977,0.0003259201,0.00001097082,0.00003841303,0.00001658125,0.00005663305,0.0000405793,0.0005896684,0.9458581,0.05243826,0.00009704424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0709279,0.000290638,0.9017802,0.003806685,0.0001519061,0.001674336,0.0001021044,0.000190385,0.02107581],"genre_scores_gemma":[0.9427012,0.00007332738,0.03696232,0.004395135,0.0001540211,0.004016783,0.00009134289,0.00003256058,0.01157332],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8717733,"threshold_uncertainty_score":0.4553677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02722104645044012,"score_gpt":0.3700411014793343,"score_spread":0.3428200550288942,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}