{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008632586,0.0002421199,0.0002115285,0.000790688,0.001163715,0.001873196,0.0005304997,0.000352469,0.002802592],"category_scores_gemma":[0.0009898131,0.0002109967,0.0003222306,0.0006378213,0.002751666,0.004166122,0.001802079,0.0006744607,0.00035817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005583562,"about_ca_system_score_gemma":0.0004539179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006081602,"about_ca_topic_score_gemma":0.0003960183,"domain_scores_codex":[0.9994326,0.0001826777,0.00004124472,0.00009075097,0.0001818269,0.0000709315],"domain_scores_gemma":[0.9992478,0.0002079983,0.00007612728,0.00009185506,0.0002312974,0.0001449419],"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.00002286925,0.000006042453,0.0003397182,0.00002775338,0.000003262206,0.00005876831,0.0002801573,0.0001720922,0.0008269593,0.9934502,0.0004974977,0.004314821],"study_design_scores_gemma":[0.00001215798,0.00005284149,0.00108846,0.0000204899,0.000006960402,0.0005278335,0.0004318417,0.003531615,0.002306437,0.9524406,0.03956256,0.00001831581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4291387,0.003701083,0.3589899,0.001860606,0.0005495411,0.00009425689,0.0006895689,0.0005648676,0.2044113],"genre_scores_gemma":[0.9586062,0.0003106197,0.0279336,0.0002075199,0.00009830717,0.00005217918,0.0002214047,0.00004062227,0.01252953],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002802592,"threshold_uncertainty_score":0.009375572,"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."}}