{"id":"W2964239360","doi":"10.1016/j.aim.2018.08.003","title":"The homotopy theory of type theories","year":2018,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Functor; Type (biology); Homotopy; Type theory; Construct (python library); Model category; Pure mathematics; Category theory; Algebra over a field; Homotopy category; Computer science; Programming language","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.001362167,0.0001502762,0.00031387,0.00005610006,0.0001605811,0.000009694368,0.0005044856,0.0001090974,0.0002386008],"category_scores_gemma":[0.002396524,0.00009535041,0.00005468259,0.0002789511,0.001661332,0.000114117,0.00010327,0.0001725924,0.00005273597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001795802,"about_ca_system_score_gemma":0.00003995866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.443345e-7,"about_ca_topic_score_gemma":0.00006679333,"domain_scores_codex":[0.998683,0.0001868043,0.0005108007,0.0001575169,0.0001645383,0.0002973003],"domain_scores_gemma":[0.9950467,0.00393716,0.0002467854,0.000606457,0.0001358513,0.00002698966],"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.00004441226,0.00009769895,0.0004357189,0.00007482724,0.00002119556,0.000002546659,0.002397178,5.867126e-7,0.0000487507,0.99059,0.00005663271,0.006230432],"study_design_scores_gemma":[0.0001783116,0.0001644114,0.00008817755,0.00005458859,0.00001895174,0.00002449723,0.001799478,0.0000552776,0.002503824,0.9917272,0.003280726,0.000104541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5913773,0.006326744,0.05333014,0.0006960226,0.002956314,0.001118515,0.00001172401,0.0002400354,0.3439433],"genre_scores_gemma":[0.9716685,0.0007345101,0.02537492,0.00005153836,0.0001373702,0.00002992643,6.364766e-7,0.00002709729,0.00197546],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3802913,"threshold_uncertainty_score":0.6121248,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01941251593593104,"score_gpt":0.3330591541834173,"score_spread":0.3136466382474863,"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."}}