{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004204302,0.0001111019,0.0002306502,0.00003676244,0.0003203691,0.00001426321,0.000209514,0.00009493356,0.0000202044],"category_scores_gemma":[0.002648941,0.00007621023,0.00002833832,0.0001098699,0.002480969,0.00009050761,0.00009378084,0.0001192858,0.000002473466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003268262,"about_ca_system_score_gemma":0.00002750893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008344745,"about_ca_topic_score_gemma":0.000007754231,"domain_scores_codex":[0.9984545,0.0008634565,0.000309531,0.0001534504,0.00008251836,0.0001365934],"domain_scores_gemma":[0.982762,0.01635031,0.0002676314,0.0004466516,0.0001381763,0.00003517117],"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.000272193,0.00004666352,0.00006167046,0.0000641654,0.0000598561,1.274297e-7,0.001792241,1.516115e-7,0.0003485315,0.9822645,0.00006576621,0.01502416],"study_design_scores_gemma":[0.0001484078,0.00008581073,0.0001132376,0.000004516023,0.0001111036,0.00004576913,0.006949041,0.000001366301,0.005124506,0.969215,0.01812577,0.00007550469],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4338357,0.009108409,0.3934576,0.005477888,0.00024403,0.001702404,0.00003767216,0.0002076455,0.1559287],"genre_scores_gemma":[0.9973463,0.0003607693,0.0009604963,0.00007850156,0.0000563368,0.0001268899,0.000002513201,0.0000108423,0.00105739],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5635106,"threshold_uncertainty_score":0.9141234,"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."}}