{"id":"W2571030091","doi":"10.23638/lmcs-13(3:12)2017","title":"A Note on the Topologicity of Quantale-Valued Topological Spaces","year":2017,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Fuzzy and Soft Set Theory","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Monad (category theory); Distributivity; Ultrafilter; Topological space; Closure (psychology); Subcategory; Distributive property; Functor; Category of topological spaces; Pure mathematics; Joins; Closed set; Axiom of choice; Generalization; Combinatorics; Discrete mathematics; Set (abstract data type); Set theory; Topological tensor product; Functional analysis; Mathematical analysis; Computer science","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":["metaresearch","sts","open_science"],"consensus_categories":["metaresearch","open_science"],"category_scores_codex":[0.05521927,0.0004430916,0.001251612,0.0004588169,0.0007216804,0.0009469463,0.01228634,0.0005873051,0.0002722936],"category_scores_gemma":[0.04709253,0.0002078937,0.0004303152,0.0009672629,0.009234551,0.0002003364,0.008848672,0.001807033,0.00005515914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001072018,"about_ca_system_score_gemma":0.0003783669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006941349,"about_ca_topic_score_gemma":0.00001071698,"domain_scores_codex":[0.9878547,0.005521744,0.001259423,0.002091157,0.002553431,0.0007195228],"domain_scores_gemma":[0.9696857,0.02544683,0.0008174494,0.003450201,0.000391806,0.0002080378],"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.0001862223,0.0004405026,0.002369159,0.0000197288,0.0000104301,0.00009091481,0.001401266,0.006757914,0.001090606,0.7466553,0.0001913628,0.2407866],"study_design_scores_gemma":[0.0001366624,0.0003731465,0.02416907,0.00009767343,0.000005353471,0.0000106253,0.00006952617,0.04654212,0.002831287,0.9252303,0.0002403481,0.0002938982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.290116,0.0001075049,0.6938164,0.004037051,0.003490777,0.0004612659,0.00001295947,0.00004918506,0.007908847],"genre_scores_gemma":[0.5791457,0.00001736733,0.419717,0.0009004407,0.0001546543,0.00001804412,2.905064e-7,0.000004294123,0.00004215062],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.2890297,"threshold_uncertainty_score":0.9991676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.4273946473904031,"score_gpt":0.5560023223505905,"score_spread":0.1286076749601874,"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."}}