{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009483205,0.0001453131,0.0002730149,0.0001655335,0.0001637488,0.00006193963,0.000515693,0.00009594837,0.0001251563],"category_scores_gemma":[0.0008368035,0.0001091673,0.0000254455,0.0005193587,0.001194191,0.00007909975,0.0004306746,0.0002029134,0.00000816264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003585834,"about_ca_system_score_gemma":0.00008695877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002150416,"about_ca_topic_score_gemma":0.000006637488,"domain_scores_codex":[0.9987266,0.0001200509,0.0002793164,0.0003662138,0.0001734196,0.0003344163],"domain_scores_gemma":[0.9982238,0.001273369,0.00004702082,0.0003468645,0.00004540151,0.00006357348],"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.0000231605,0.00002940129,0.0005525317,0.00004773789,0.000007701725,0.00001101128,0.0003842501,0.000005403552,0.0001610909,0.983344,0.0001471098,0.01528663],"study_design_scores_gemma":[0.0001779282,0.00003243546,0.003106494,0.00003587691,0.00001118668,0.00005032589,0.00001825911,0.00429857,0.0005921909,0.9915093,0.000059858,0.00010758],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7038873,0.00008402627,0.2904879,0.000415323,0.0006359229,0.0002133124,0.000001239579,0.00007075709,0.004204215],"genre_scores_gemma":[0.9664468,0.000002648255,0.03281596,0.0005600015,0.0000663595,0.000006172578,2.748653e-7,0.000005809699,0.00009601801],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2625595,"threshold_uncertainty_score":0.4451715,"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."}}