{"id":"W4413972871","doi":"10.70930/tac/1b18bqig","title":"The *-autonomous category of uniform sup semi-lattices","year":2012,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Computer science; Pure mathematics","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.0005883524,0.0000797235,0.0001140966,0.00003221521,0.0002342388,0.00002132096,0.0004726374,0.00003165785,0.000005139108],"category_scores_gemma":[0.00002212474,0.00005200114,0.00002776501,0.0002042052,0.0004365185,0.0003684963,0.0001278866,0.00005972869,0.000005700768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005458235,"about_ca_system_score_gemma":0.00002862958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005110795,"about_ca_topic_score_gemma":9.515927e-7,"domain_scores_codex":[0.999406,0.00005159256,0.0001921326,0.0001040557,0.00008082353,0.0001653358],"domain_scores_gemma":[0.9987734,0.0005354379,0.0001431229,0.0004366171,0.0000636393,0.00004776038],"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.000006639816,0.00002733305,0.0001932013,0.00001616402,0.00000928397,2.531475e-8,0.0009016346,0.00001715197,0.0002516102,0.962961,0.00001161764,0.03560439],"study_design_scores_gemma":[0.00007011986,0.00002662357,0.0009045533,0.000002397086,0.00001268196,0.000006089448,0.001216409,0.0001226986,0.01269529,0.9680861,0.01677267,0.00008433224],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06678671,0.007555303,0.9109652,0.0003385596,0.00007161601,0.0003280923,0.000006200391,0.00008685119,0.01386145],"genre_scores_gemma":[0.9980096,0.000202836,0.001278221,0.0000329411,0.00004418801,0.00006204441,0.000002112949,0.000003872903,0.000364166],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9312229,"threshold_uncertainty_score":0.2120545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00981165245152533,"score_gpt":0.2467021762497245,"score_spread":0.2368905237981992,"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."}}