{"id":"W4319999514","doi":"10.1016/j.aim.2023.108902","title":"Equivalence of cubical and simplicial approaches to (∞,n)-categories","year":2023,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Functor; Equivalence (formal languages); Simplicial set; Model category; Combinatorics; Triangulation; Pure mathematics; Discrete mathematics; Geometry; Homotopy category","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.000500227,0.0001451454,0.0004111794,0.0001623547,0.00004458871,0.000006765054,0.0002400125,0.000112086,0.00003805467],"category_scores_gemma":[0.0009379067,0.0001288347,0.00003568171,0.0004504407,0.0003160605,0.0001135136,0.0001957861,0.0001365226,0.00003145613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001400594,"about_ca_system_score_gemma":0.00002039394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001787519,"about_ca_topic_score_gemma":0.00003320428,"domain_scores_codex":[0.9988129,0.00004964444,0.0004489341,0.0002236811,0.0001623599,0.000302451],"domain_scores_gemma":[0.998245,0.001274075,0.000114102,0.0002887545,0.00002003797,0.0000580536],"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.00001344228,0.0001022834,0.00120239,0.0005047845,0.00001044334,0.00001221126,0.004457187,0.00003904185,0.0001166673,0.9876962,0.00006015585,0.005785146],"study_design_scores_gemma":[0.000169207,0.00008442045,0.0004703059,0.00006113682,0.00001378235,0.00002139556,0.001608443,0.0005594644,0.001161087,0.9953218,0.0003954075,0.0001336199],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9753748,0.0003470977,0.01401201,0.000818574,0.0002050986,0.0004556985,0.00001029706,0.0001463408,0.00863007],"genre_scores_gemma":[0.9560816,0.00022616,0.04321446,0.00004206812,0.00004867281,0.00007423862,0.000001856384,0.00002183368,0.000289065],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02920244,"threshold_uncertainty_score":0.5253728,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1366444176764995,"score_gpt":0.3573441350553147,"score_spread":0.2206997173788152,"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."}}