{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004822963,0.0001515945,0.0002737976,0.00003913056,0.0001784783,0.00007643941,0.0007972991,0.00009201768,0.000007468049],"category_scores_gemma":[0.00002714383,0.0001012301,0.00006985144,0.0001704308,0.000534967,0.00009743853,0.0005538648,0.0001921295,0.000004560868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006063817,"about_ca_system_score_gemma":0.0001098382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001638407,"about_ca_topic_score_gemma":0.000001548311,"domain_scores_codex":[0.999097,0.00009448069,0.0002620359,0.00027731,0.0001396016,0.0001295565],"domain_scores_gemma":[0.9977781,0.0006785286,0.0003501426,0.001016374,0.0001445658,0.00003234365],"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.00001993558,0.00002753448,0.00005849893,0.00008528492,0.00004037391,6.174381e-8,0.001202293,0.0002417941,0.00009556381,0.9900917,0.0001012438,0.00803565],"study_design_scores_gemma":[0.00008618591,0.00002920834,0.0003348844,0.00001385826,0.00002036959,0.000002466553,0.0004887363,0.0003519511,0.003991423,0.9861745,0.008389817,0.0001166064],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01495989,0.003791571,0.9753457,0.001183443,0.0001116886,0.0006178975,0.00004873588,0.00006133747,0.00387977],"genre_scores_gemma":[0.9971791,0.000505163,0.001648828,0.00004760504,0.00003533567,0.0000565419,0.000008972665,0.00000621058,0.0005122388],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9822192,"threshold_uncertainty_score":0.4128043,"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."}}