{"id":"W2987094263","doi":"10.70930/tac/pzd6pky9","title":"The dual of compact ordered spaces is a variety","year":2019,"lang":"en","type":"preprint","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Finitary; Arity; Variety (cybernetics); Mathematics; Dual (grammatical number); Bounded function; Monotone polygon; Axiom; Pure mathematics; Equivalence (formal languages); Axiom of choice; Countable set; Discrete mathematics; Set (abstract data type); Algebra over a field; Computer science; Set theory; Mathematical analysis; Programming language; Geometry","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.000914263,0.0005185486,0.0005275855,0.00157477,0.001343256,0.004469377,0.000499522,0.001147995,0.00606757],"category_scores_gemma":[0.001601876,0.0003000883,0.000685346,0.001389851,0.003662078,0.007172687,0.002329119,0.002776529,0.0005525303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0010176,"about_ca_system_score_gemma":0.0003540092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004187396,"about_ca_topic_score_gemma":0.0004121401,"domain_scores_codex":[0.9992212,0.0002300466,0.00004076985,0.0002487482,0.0001720864,0.00008715893],"domain_scores_gemma":[0.9991671,0.0002858459,0.00009183257,0.0001208144,0.00019892,0.000135545],"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.00001595867,0.000005665504,0.00008946253,0.00002477535,0.000004188003,0.00003182926,0.0001804086,0.00005125734,0.0002586256,0.9971745,0.000903108,0.001260072],"study_design_scores_gemma":[0.0000143492,0.00002145118,0.0002819865,0.00001965884,0.000009017192,0.0002209067,0.0002965399,0.001248601,0.000581573,0.9773171,0.01998001,0.000008748735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3539171,0.01305335,0.3282784,0.02631185,0.003386973,0.00006850406,0.00148976,0.0005260526,0.2729679],"genre_scores_gemma":[0.9434462,0.001794453,0.02072766,0.001200872,0.001209182,0.00003422009,0.0005916901,0.0001255506,0.03087027],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00606757,"threshold_uncertainty_score":0.02029806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01182626365407802,"score_gpt":0.2619296483363869,"score_spread":0.2501033846823089,"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."}}