{"id":"W3041336817","doi":"10.2140/agt.2023.23.2107","title":"The Hurewicz theorem in homotopy type theory","year":2023,"lang":"en","type":"article","venue":"Algebraic & Geometric Topology","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Homotopy; Homotopy group; Type (biology); Tensor product; Pure mathematics; n-connected; Homotopy category; Regular homotopy; Homotopy sphere","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.0009246907,0.0004339584,0.000540642,0.001822551,0.001518592,0.002344461,0.0006928962,0.0005992119,0.004770079],"category_scores_gemma":[0.001340148,0.0002857186,0.0007482494,0.001184192,0.00381243,0.004857673,0.002258382,0.001715238,0.0008338952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001257202,"about_ca_system_score_gemma":0.0005577424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001161517,"about_ca_topic_score_gemma":0.0008669953,"domain_scores_codex":[0.9994036,0.0001203636,0.00003098093,0.0001226533,0.0002266233,0.00009579598],"domain_scores_gemma":[0.9993412,0.0002239254,0.00007505441,0.0001058837,0.0001632006,0.00009077124],"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.000003266897,0.000003590055,0.0001259437,0.00002004653,0.000003546572,0.0000284433,0.0001140732,0.0002807965,0.0002510174,0.9957168,0.0005566954,0.002895863],"study_design_scores_gemma":[0.000004322202,0.0000139004,0.0003347216,0.00001305904,0.000005763676,0.00007529373,0.00008336458,0.002016938,0.0004079046,0.9902359,0.006801479,0.000007365431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.300884,0.006242736,0.3485246,0.005728288,0.001097586,0.0000951232,0.0005884615,0.0006020773,0.3362372],"genre_scores_gemma":[0.9365092,0.002301124,0.03526517,0.0005682172,0.0008581667,0.00009374678,0.0002969121,0.00007987409,0.02402747],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004770079,"threshold_uncertainty_score":0.01595747,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03137530963775309,"score_gpt":0.3166119691220164,"score_spread":0.2852366594842633,"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."}}