{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004934105,0.00123582,0.002229658,0.004828851,0.005830777,0.005880999,0.002429121,0.003014327,0.01397668],"category_scores_gemma":[0.009616429,0.001327094,0.002211283,0.003838255,0.008729864,0.02335902,0.008683375,0.007395859,0.001631098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002414011,"about_ca_system_score_gemma":0.0014187,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00251796,"about_ca_topic_score_gemma":0.002160579,"domain_scores_codex":[0.9975767,0.0006932915,0.0001487408,0.0004950636,0.0006384528,0.0004477958],"domain_scores_gemma":[0.9933745,0.00353374,0.0003002805,0.001088753,0.001157371,0.0005453042],"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.00001536728,0.00001144688,0.0001017027,0.00002175979,0.000005855361,0.00002375326,0.0002330913,0.0001961502,0.000116257,0.9971783,0.0006849386,0.001411364],"study_design_scores_gemma":[0.000005783979,0.000008586813,0.0001054772,0.000008728459,0.000006591466,0.00002454566,0.0001027507,0.0009543643,0.0001299325,0.9964324,0.002212494,0.000008362899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2657309,0.003777861,0.4465619,0.009860747,0.00118757,0.0001834717,0.001795087,0.001296741,0.2696058],"genre_scores_gemma":[0.8997594,0.002138182,0.04459698,0.001580317,0.001189286,0.00022935,0.001943731,0.0006584,0.04790433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01397668,"threshold_uncertainty_score":0.04675663,"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."}}