{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00416438,0.0003898537,0.0006614416,0.001493302,0.00051473,0.00004173441,0.001222839,0.0005991218,0.001381801],"category_scores_gemma":[0.007924435,0.0002836641,0.000183879,0.006831684,0.001339045,0.00009634854,0.0004439099,0.0008570329,0.001812245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001037338,"about_ca_system_score_gemma":0.0001742925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005801133,"about_ca_topic_score_gemma":0.0002491314,"domain_scores_codex":[0.9954898,0.001240368,0.000819017,0.0006765836,0.000329209,0.001445008],"domain_scores_gemma":[0.986074,0.0122786,0.0002359921,0.001151854,0.00011524,0.0001443434],"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.0001080929,0.0000944675,0.003159864,0.00001646808,0.0001169106,0.0001996434,0.000550905,0.00000188419,0.000052536,0.9573062,0.008327489,0.03006554],"study_design_scores_gemma":[0.0007147345,0.0003075072,0.01149325,0.000008901065,0.00004396557,0.0001944286,0.0009541392,0.00002547642,0.0003451476,0.9675176,0.01808428,0.0003106238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9605105,0.002021462,0.0006761713,0.007630163,0.003571232,0.0007593567,0.000008508822,0.0006940143,0.02412861],"genre_scores_gemma":[0.9854376,0.0006797225,0.0002635861,0.0008145232,0.0002891528,0.0001476989,0.00001607979,0.00007033288,0.01228127],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02975492,"threshold_uncertainty_score":0.9999616,"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."}}