{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001646779,0.00061774,0.0006561865,0.00279997,0.002031429,0.005822313,0.001561289,0.001129444,0.01266232],"category_scores_gemma":[0.001773938,0.0007066999,0.00144622,0.002021515,0.003473598,0.008514382,0.003631067,0.0029963,0.001195852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001459697,"about_ca_system_score_gemma":0.0007552541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001331776,"about_ca_topic_score_gemma":0.001610755,"domain_scores_codex":[0.9989089,0.0002601864,0.0001098245,0.00023081,0.000258635,0.0002316447],"domain_scores_gemma":[0.9988081,0.0004051073,0.0001220625,0.0001946005,0.0002694074,0.0002006648],"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.00001544025,0.000006235815,0.00008513174,0.00001812125,0.000003915582,0.0000432301,0.000370408,0.0001245778,0.0005358291,0.9960669,0.0005644751,0.002165745],"study_design_scores_gemma":[0.0000135203,0.000008940524,0.0001520945,0.00001707259,0.00001345375,0.0001098753,0.0001913093,0.001159453,0.0006603341,0.9868942,0.01076607,0.00001364647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07172412,0.00209276,0.8296418,0.002469841,0.0007927333,0.00009150417,0.001060694,0.002015589,0.09011093],"genre_scores_gemma":[0.8266245,0.001239365,0.1313658,0.001030152,0.0006215507,0.0002579283,0.0009071603,0.0005661912,0.03738743],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01266232,"threshold_uncertainty_score":0.04235971,"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."}}