{"id":"W2946034447","doi":"10.70930/tac/fdxcih4r","title":"Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads","year":2018,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Exploratory Research for Advanced Technology; Clarendon Fund; Japan Society for the Promotion of Science; DeepMind","keywords":"Distributivity; Negation; Mathematics; Star (game theory); Pure mathematics; Algebra over a field; Computer science; Programming language; Mathematical analysis; Distributive property","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.001478255,0.0002727583,0.000320023,0.000834248,0.001411454,0.001501834,0.0005838892,0.0005282072,0.002070144],"category_scores_gemma":[0.001590465,0.0002679119,0.0007724767,0.0005745509,0.005393511,0.004651585,0.003725641,0.001283878,0.0002456005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001361164,"about_ca_system_score_gemma":0.0009185519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003103421,"about_ca_topic_score_gemma":0.002263197,"domain_scores_codex":[0.9991564,0.0001877976,0.00004907082,0.0001686316,0.0002428238,0.0001953341],"domain_scores_gemma":[0.9986895,0.0004701106,0.0001429273,0.0001639661,0.0002777981,0.0002557188],"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.00002101531,0.00001607329,0.0005159128,0.00002090144,0.000005510524,0.0001063497,0.0003329573,0.0004696351,0.0009846321,0.9946164,0.0002243096,0.002686225],"study_design_scores_gemma":[0.00001649856,0.00003701649,0.0006824928,0.00001105426,0.00001973209,0.0002382546,0.0001844871,0.005464362,0.002140058,0.9853513,0.005835496,0.00001922301],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4777625,0.001700673,0.4293668,0.002508868,0.0003360072,0.00006539492,0.0002076232,0.0004422093,0.08760991],"genre_scores_gemma":[0.9770814,0.0002690513,0.01490253,0.00022897,0.0001475802,0.00003705421,0.00005714209,0.00002554614,0.007250848],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003103421,"threshold_uncertainty_score":0.009875953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005865145345343767,"score_gpt":0.2302325727945815,"score_spread":0.2243674274492377,"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."}}