{"id":"W2274851529","doi":"10.70930/tac/9x087ygv","title":"Localization of enriched categories and cubical sets","year":2017,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Science Foundation","keywords":"Enriched category; Mathematics; Axiom; Equivalence (formal languages); Closed category; Model category; Property (philosophy); Equivalence of categories; Symmetric monoidal category; Pure mathematics; Concrete category; 2-category; Higher category theory; Discrete mathematics; Functor; Epistemology; Geometry; Homotopy category","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.001121801,0.0003857125,0.0004139151,0.001322185,0.001238032,0.002137071,0.0009198888,0.0007692314,0.004531332],"category_scores_gemma":[0.002640594,0.000371155,0.0006962658,0.0007892069,0.00538657,0.006483955,0.005107651,0.00193851,0.0004778898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001877787,"about_ca_system_score_gemma":0.0008915705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003165673,"about_ca_topic_score_gemma":0.002156466,"domain_scores_codex":[0.998806,0.0003024644,0.00006272484,0.0002937919,0.0003634356,0.0001715709],"domain_scores_gemma":[0.9986433,0.0004915803,0.0001185633,0.0002732492,0.0003079768,0.0001653313],"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.00001152963,0.000006067009,0.0003033084,0.0000369782,0.000004259735,0.00008160896,0.0005717706,0.0004898147,0.0009782552,0.993283,0.000388186,0.003845197],"study_design_scores_gemma":[0.00001211095,0.0000331175,0.0009230165,0.00002771143,0.00001279501,0.0003124158,0.0006750026,0.004418224,0.002203797,0.9752463,0.01611489,0.00002073059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.408423,0.003714917,0.4572604,0.004754478,0.0001842909,0.00008997109,0.0004576208,0.001043716,0.1240716],"genre_scores_gemma":[0.9552468,0.0006479052,0.0286235,0.0003943184,0.0001123998,0.00007766382,0.0002964776,0.0000813909,0.01451952],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004531332,"threshold_uncertainty_score":0.01515877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01871743432417798,"score_gpt":0.3122325128327005,"score_spread":0.2935150785085225,"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."}}