{"id":"W4226412996","doi":"10.48550/arxiv.2201.09819","title":"Stone Duality for Topological Convexity Spaces","year":2022,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Convexity; Mathematics; Topological space; Topological vector space; Topological tensor product; Locally convex topological vector space; Closure (psychology); Duality (order theory); Adjunction; Space (punctuation); Pure mathematics; Closed set; Topology (electrical circuits); Combinatorics; Computer science; Functional analysis","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005722123,0.0003122176,0.0004824244,0.00006108104,0.0003355563,0.00009585307,0.001779138,0.0002327948,0.0003051807],"category_scores_gemma":[0.0002312734,0.0002736532,0.0002555583,0.0001661513,0.0001813392,0.0001741294,0.003833036,0.0007928463,0.00004803501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001116369,"about_ca_system_score_gemma":0.0001365033,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003914434,"about_ca_topic_score_gemma":0.000009781846,"domain_scores_codex":[0.9976133,0.0001914253,0.0003482468,0.001090188,0.0002944687,0.0004623512],"domain_scores_gemma":[0.997963,0.0003315577,0.0002758515,0.001210602,0.00008632318,0.0001326555],"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.00009086243,0.0006486635,0.3475776,0.0003683259,0.0001785083,0.0001538122,0.001626785,0.00193617,0.0003584566,0.6376763,0.002701175,0.006683319],"study_design_scores_gemma":[0.0009080417,0.000501821,0.3568948,0.00003455089,0.00004801614,0.00002095967,0.0003026814,0.003812246,0.001548631,0.5718896,0.06267134,0.001367295],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6773931,0.0003981686,0.3147337,0.00361784,0.001923353,0.000533751,0.0000384328,0.0003799584,0.0009816947],"genre_scores_gemma":[0.9757374,0.00005612235,0.02104011,0.001362904,0.0002717822,0.0003036819,0.00004524791,0.00001493583,0.001167846],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2983442,"threshold_uncertainty_score":0.9999716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1145104966157501,"score_gpt":0.343996946579694,"score_spread":0.2294864499639439,"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."}}