{"id":"W4386966712","doi":"10.1007/s10485-023-09735-y","title":"Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brandon University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Diagrammatic reasoning; Subcategory; Mathematics; Algebraic number; Adjunction; Algebra over a field; Category theory; Variety (cybernetics); Pure mathematics; Computer science; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"low","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"}],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001630137,0.000123949,0.0002783826,0.000111163,0.00008981112,0.00005481941,0.0003489349,0.00008373042,0.000003614366],"category_scores_gemma":[0.00005205268,0.00009617399,0.00005954626,0.0004242402,0.0001505038,0.0000735672,0.0001348272,0.00006487592,0.000001409023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006727287,"about_ca_system_score_gemma":0.00003778115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001434119,"about_ca_topic_score_gemma":0.000009032385,"domain_scores_codex":[0.9989824,0.00002389667,0.000309648,0.0002338868,0.0002243917,0.0002257756],"domain_scores_gemma":[0.9990877,0.0003821969,0.0001466645,0.0002489148,0.00007490649,0.00005961441],"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.000007934415,0.0000136182,0.0004939033,0.0001931497,0.00003383611,7.297164e-7,0.00149187,0.00005192609,0.001349375,0.990032,0.0006291836,0.005702534],"study_design_scores_gemma":[0.0002526691,0.00005698785,0.007332687,1.170196e-8,0.00001587094,0.000002653929,0.0004852388,0.001121607,0.002150096,0.9879388,0.0005418013,0.0001015337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003856863,0.000189484,0.9941679,0.00008666356,0.0001510321,0.0004166942,2.761041e-7,0.0001122929,0.001018763],"genre_scores_gemma":[0.9993772,0.00002353472,0.0002337102,0.00001509973,0.00004400666,0.0001515171,0.00001640042,0.000008440782,0.0001301164],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9955203,"threshold_uncertainty_score":0.3921862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02431928899392258,"score_gpt":0.2586460413016544,"score_spread":0.2343267523077318,"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."}}