{"id":"W4321372229","doi":"10.1017/s096012952200038x","title":"Monoidal reverse differential categories","year":2022,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University; Mount Allison University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Differential (mechanical device); Symmetric monoidal category; Computer science; Theoretical computer science; Mathematics; Algebra over a field; Pure mathematics; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.000687734,0.0001856579,0.0002555007,0.0002217512,0.0005823251,0.0004980221,0.002875591,0.0000294838,0.0001402961],"category_scores_gemma":[0.00004403517,0.0001477862,0.00006858142,0.001072076,0.0003787166,0.0004158615,0.002475873,0.0002867493,0.00002097306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001519954,"about_ca_system_score_gemma":0.0001251536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003386751,"about_ca_topic_score_gemma":0.000003359524,"domain_scores_codex":[0.9973403,0.000110955,0.0003605005,0.0006639559,0.0009684731,0.0005558012],"domain_scores_gemma":[0.9988631,0.00009932779,0.0001060718,0.0007409216,0.00004903869,0.0001415302],"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.000002691524,0.00006039274,0.0003282554,0.00001999186,0.000002695013,0.00004635885,0.001547092,0.0006678065,0.0001282042,0.9615204,0.000190887,0.03548528],"study_design_scores_gemma":[0.0002372232,0.00008458024,0.001387137,0.000001643677,0.000001992902,0.0001684392,0.00003931825,0.2805039,0.00029525,0.7155275,0.001519696,0.0002333275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02078002,0.00003629974,0.9760534,0.0002560396,0.001689522,0.0003118895,7.213141e-7,0.0001533229,0.0007187899],"genre_scores_gemma":[0.9554495,4.827618e-7,0.0441139,0.000209003,0.0001123346,0.00005617598,8.243813e-7,0.000006552928,0.00005119812],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9346695,"threshold_uncertainty_score":0.6026547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01784311639969774,"score_gpt":0.2500368813857108,"score_spread":0.232193764986013,"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."}}