{"id":"W1837209612","doi":"10.1007/s10485-016-9465-8","title":"Quantales, Generalised Premetrics and Free Locales","year":2016,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Fields Institute for Research in Mathematical Sciences; York University; University of Toronto","funders":"","keywords":"Functor; Surjective function; Mathematics; Morphism; Distributive property; Extension (predicate logic); Topological space; Metric space; Pure mathematics; Coproduct; Space (punctuation); Discrete mathematics; Combinatorics; Category of topological spaces; Topology (electrical circuits); Functional analysis; Computer science; Topological tensor product","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002682857,0.0006624698,0.001076736,0.002519751,0.002637124,0.004364337,0.001236889,0.001354723,0.006508668],"category_scores_gemma":[0.003952632,0.0006275641,0.001053671,0.001653233,0.01013774,0.009600584,0.004660887,0.004170066,0.0007134352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002046932,"about_ca_system_score_gemma":0.0005660429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001036683,"about_ca_topic_score_gemma":0.001112447,"domain_scores_codex":[0.9985739,0.0005092691,0.00009241006,0.0003279682,0.0003247063,0.0001717253],"domain_scores_gemma":[0.997198,0.001306714,0.0002987307,0.0004679777,0.0003617953,0.0003668323],"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.000005515663,0.000003587023,0.00004516096,0.00000932889,0.000002885786,0.00001578594,0.00009439158,0.00008586627,0.00007835501,0.9987869,0.000160759,0.0007114828],"study_design_scores_gemma":[0.000006551984,0.000005458696,0.00006636223,0.000003822154,0.000003529387,0.0000231363,0.0000464349,0.0002369855,0.00006612955,0.9982114,0.001325666,0.000004524706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3656563,0.00978498,0.3707708,0.009557169,0.0008742065,0.00008830498,0.0006520789,0.0005899217,0.2420264],"genre_scores_gemma":[0.9531472,0.001495421,0.01685569,0.0007420416,0.0006259448,0.00008112508,0.0002053558,0.00009039684,0.02675688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006508668,"threshold_uncertainty_score":0.0217737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03713171781580595,"score_gpt":0.2890309986159472,"score_spread":0.2518992808001412,"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."}}