{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001172111,0.000197846,0.000267194,0.00007246873,0.0001333324,0.00001305475,0.0002621257,0.0001975357,0.0001634175],"category_scores_gemma":[0.0003325567,0.0001151831,0.0000410841,0.0001466639,0.0003458953,0.00004888872,0.0001449319,0.0001349813,0.00001187989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004210569,"about_ca_system_score_gemma":0.00001470271,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004435421,"about_ca_topic_score_gemma":0.00001106858,"domain_scores_codex":[0.998932,0.00004041528,0.0002276969,0.0003231716,0.0001740157,0.0003026892],"domain_scores_gemma":[0.998619,0.0007534818,0.00008344481,0.0003951901,0.00002509085,0.0001238338],"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.0000563143,0.00001627149,0.0001712401,0.00001770076,0.00002586702,0.000006748765,0.0000547011,0.000001020259,0.005626044,0.9767291,0.002311264,0.01498371],"study_design_scores_gemma":[0.0007510669,0.00002903727,0.0009505958,8.66593e-7,0.00002670799,0.00002379201,0.00004719536,0.000003333514,0.007019621,0.9887465,0.002204839,0.0001964984],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4730712,0.0008950968,0.5155725,0.0008354002,0.0003143381,0.0004719927,0.000025201,0.00036386,0.00845037],"genre_scores_gemma":[0.9930638,0.00008713394,0.006179194,0.0001877712,0.0001559718,0.00002054013,0.000003542583,0.00002559607,0.0002764306],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5199926,"threshold_uncertainty_score":0.4697029,"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."}}