{"id":"W4417412318","doi":"10.1017/s096012952510025x","title":"Displayed type theory and semi-simplicial types","year":2025,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Carnegie Mellon University; Johns Hopkins University; National Science Foundation","keywords":"Type (biology); Model category; Abstract simplicial complex; Type theory; Simplicial approximation theorem; Homotopy; Simplicial complex","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001818528,0.0003751517,0.0004201376,0.001796635,0.00131984,0.003518087,0.001280563,0.001010496,0.006272235],"category_scores_gemma":[0.002571866,0.0003045024,0.0008728922,0.001351931,0.005796151,0.007948267,0.003268549,0.001980884,0.000788781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002151509,"about_ca_system_score_gemma":0.0009220075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001599776,"about_ca_topic_score_gemma":0.00126477,"domain_scores_codex":[0.9984829,0.0004645376,0.0001121922,0.0002214933,0.0005619532,0.0001569377],"domain_scores_gemma":[0.9981103,0.0005239727,0.0001290855,0.0004534619,0.0005736457,0.0002095462],"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.000004428628,0.0000023373,0.00007383813,0.00001018955,0.000002455262,0.00003022163,0.0001365561,0.000368958,0.0002775035,0.9974897,0.0001823601,0.001421372],"study_design_scores_gemma":[0.000006111326,0.00001002839,0.00008249292,0.00002182845,0.000005574428,0.00009991653,0.0001456568,0.004824544,0.0007767565,0.9837284,0.01028687,0.00001170306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08403311,0.001101121,0.8358625,0.001623034,0.0005604902,0.00006379302,0.0004739512,0.0007247454,0.07555728],"genre_scores_gemma":[0.8862365,0.0005515736,0.09231022,0.0004813522,0.0002264379,0.0001035149,0.0003336243,0.0002098681,0.01954697],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006272235,"threshold_uncertainty_score":0.02098268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01467820944177885,"score_gpt":0.3273209675808629,"score_spread":0.312642758139084,"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."}}