{"id":"W2963774081","doi":"10.70930/tac/2q3vx1tg","title":"The theory and practice of Reedy categories","year":2014,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":52,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Air Force Office of Scientific Research; Johns Hopkins University; Defense Advanced Research Projects Agency; U.S. Department of Defense; National Science Foundation","keywords":"Mathematical proof; Axiom; Computer science; Homotopy; Algebra over a field; Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005001499,0.0005289884,0.0007628342,0.002378246,0.003330087,0.004871223,0.001951571,0.002097068,0.008306417],"category_scores_gemma":[0.007966965,0.0005373097,0.0007511899,0.0015559,0.02397294,0.01331651,0.00657631,0.003918984,0.001966921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002483382,"about_ca_system_score_gemma":0.001547497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001757658,"about_ca_topic_score_gemma":0.001354119,"domain_scores_codex":[0.9958553,0.002131324,0.0001959315,0.0007569526,0.0008093076,0.0002513122],"domain_scores_gemma":[0.9957576,0.002351015,0.0002328298,0.001068346,0.0004084106,0.0001817683],"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.000001668078,0.000001099183,0.00002772726,0.00001536983,0.000001155203,0.00001139605,0.0002786203,0.00007573546,0.00005724603,0.9969891,0.0003439374,0.002196974],"study_design_scores_gemma":[0.000002851832,0.000008693181,0.00006181977,0.00002802922,0.000001876215,0.00007079187,0.0001877855,0.0004958127,0.0002318408,0.9646546,0.03424823,0.000007666696],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03684241,0.01497368,0.6327657,0.01778617,0.0009710875,0.00007841165,0.0002218194,0.0008591814,0.2955015],"genre_scores_gemma":[0.7884684,0.006698597,0.1509792,0.001890216,0.001079999,0.0002482345,0.0001408608,0.0003554656,0.05013906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008306417,"threshold_uncertainty_score":0.02778774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01264655563353877,"score_gpt":0.2981817530246915,"score_spread":0.2855351973911527,"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."}}