{"id":"W4389261460","doi":"10.48550/arxiv.2311.18781","title":"Displayed Type Theory and Semi-Simplicial Types","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Abstract simplicial complex; Simplicial approximation theorem; Model category; Simplicial manifold; Simplicial homology; h-vector; Mathematics; Type (biology); Simplicial complex; Betti number; Homotopy; Pure mathematics; Simplicial set; Combinatorics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001341095,0.0005308196,0.0003973279,0.001931187,0.001418225,0.003469365,0.001391549,0.001130784,0.00801417],"category_scores_gemma":[0.00212877,0.000320731,0.0009346104,0.001638304,0.005190065,0.008236608,0.003348361,0.00225539,0.001274755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002012764,"about_ca_system_score_gemma":0.0009548104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001683235,"about_ca_topic_score_gemma":0.001430434,"domain_scores_codex":[0.9987968,0.0003327002,0.0000833433,0.0002122036,0.0004349396,0.0001399997],"domain_scores_gemma":[0.9988036,0.0003438444,0.0001004022,0.0002986079,0.000304195,0.0001492878],"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.000003181783,0.000002278955,0.00005947538,0.00001235997,0.000002044857,0.00002591269,0.0001490551,0.0002933954,0.0002332093,0.9974617,0.0002541631,0.001503273],"study_design_scores_gemma":[0.000004895917,0.000009409573,0.00008134882,0.00002039156,0.00000471204,0.0001088293,0.0001383496,0.003275103,0.0006488498,0.979192,0.01650569,0.00001036138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04905031,0.002053775,0.8621131,0.001818938,0.0006538447,0.00005348164,0.0006685132,0.0007727602,0.08281527],"genre_scores_gemma":[0.7902911,0.001373236,0.1730748,0.0008618264,0.0005188129,0.0001716921,0.000717898,0.0003793487,0.03261137],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00801417,"threshold_uncertainty_score":0.02681005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1045922039809285,"score_gpt":0.2501147664529824,"score_spread":0.1455225624720539,"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."}}