{"id":"W2922234826","doi":"10.1017/s0960129520000146","title":"Nilpotent types and fracture squares in homotopy type theory","year":2020,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Homotopy; Mathematics; Cofibration; Type (biology); Mathematical proof; Pure mathematics; Nilpotent; Construct (python library); Type theory; Constructive; n-connected; Homotopy lifting property; Algebra over a field; Regular homotopy; Space (punctuation); Discrete mathematics; Computer science; Geometry","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.0006163,0.0001853776,0.000354412,0.0001228055,0.00008624499,0.00006329898,0.0005814756,0.0001198514,0.0002420983],"category_scores_gemma":[0.0008132456,0.0001383162,0.00002975145,0.0005212338,0.0008859684,0.0001194521,0.0003485618,0.0003632694,0.00001552096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003330444,"about_ca_system_score_gemma":0.00006317548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002544663,"about_ca_topic_score_gemma":0.000005763323,"domain_scores_codex":[0.9984274,0.0001335902,0.0003129344,0.0004696547,0.0002699967,0.0003864285],"domain_scores_gemma":[0.9987656,0.000703695,0.00006740139,0.0002817023,0.00003742599,0.0001441136],"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.00004051033,0.0000580178,0.00287737,0.0001131584,0.000006771121,0.0001067469,0.004185249,0.0001072517,0.0001231937,0.9798163,0.0001564702,0.01240894],"study_design_scores_gemma":[0.0002691403,0.0001012424,0.006251461,0.00003192043,0.00000583619,0.00007942119,0.00005973574,0.01330047,0.0004104596,0.9792407,0.00008962514,0.0001599743],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8634525,0.0001843909,0.1312185,0.003943337,0.0002342912,0.0003210591,0.000001434457,0.00007682524,0.0005676462],"genre_scores_gemma":[0.9518149,0.000005391571,0.04620292,0.001861444,0.00009062464,0.00000628865,3.636553e-7,0.00001045695,0.000007534582],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.08836249,"threshold_uncertainty_score":0.5640371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02648866468639146,"score_gpt":0.3035279746954387,"score_spread":0.2770393100090472,"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."}}