{"id":"W6891862276","doi":"10.48550/arxiv.2503.19305","title":"Actegories, Copowers, and Higher-Order Message Passing Semantics","year":2025,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Semantics (computer science); Message passing; Channel (broadcasting); Categorical variable; Equivalence (formal languages); Concurrency; Reuse","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003062906,0.0005478719,0.0005301933,0.00130288,0.002074502,0.003716795,0.001282958,0.001127664,0.005441587],"category_scores_gemma":[0.004415688,0.0004240268,0.001498753,0.0009595741,0.00783447,0.0104674,0.005441765,0.003319434,0.0009719882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001984623,"about_ca_system_score_gemma":0.001327784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001949799,"about_ca_topic_score_gemma":0.0008038948,"domain_scores_codex":[0.9972737,0.0007595085,0.0002153217,0.0005188177,0.0007903737,0.0004422601],"domain_scores_gemma":[0.9960535,0.0015375,0.0004098496,0.0009128825,0.0006554548,0.0004307846],"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.00001284949,0.00001043816,0.0001062742,0.00002433498,0.000003900513,0.00005643254,0.0002724319,0.0004504448,0.0003558208,0.9951562,0.0002813172,0.003269652],"study_design_scores_gemma":[0.00001095175,0.00002427747,0.000102934,0.00002007595,0.00001099866,0.0001188243,0.0001104118,0.004373285,0.001763224,0.983707,0.009744081,0.00001398075],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0731632,0.0008229155,0.884425,0.001932461,0.0003311503,0.00007882774,0.0001562606,0.0009290627,0.03816116],"genre_scores_gemma":[0.8469393,0.0006475146,0.1346691,0.0007166479,0.0003105846,0.0002072326,0.0002651231,0.0003669265,0.0158777],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005441587,"threshold_uncertainty_score":0.01820391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05115889495941803,"score_gpt":0.1985116243414912,"score_spread":0.1473527293820732,"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."}}