{"id":"W3135672447","doi":"10.70930/tac/4c53gqla","title":"On the formal theory of pseudomonads and pseudodistributive laws","year":2021,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; U.S. Air Force; University of Edinburgh; University of Leeds; University of Manchester","keywords":"Gray (unit); Morphism; Mathematics; Coherence (philosophical gambling strategy); Pure mathematics","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.002799453,0.0004767505,0.0005652711,0.001480554,0.002076777,0.00264023,0.00106672,0.0009704447,0.006102798],"category_scores_gemma":[0.002887036,0.0004183346,0.00108067,0.001461546,0.007886353,0.009355444,0.003722702,0.0020833,0.0006798938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002090873,"about_ca_system_score_gemma":0.001232081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001964151,"about_ca_topic_score_gemma":0.001694344,"domain_scores_codex":[0.9987233,0.0004514635,0.00008416142,0.0002192599,0.0003282572,0.0001935503],"domain_scores_gemma":[0.9979949,0.0009346092,0.0001735192,0.0003413325,0.0003592108,0.0001964577],"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.000003311479,0.000003716853,0.00004289774,0.00001182729,0.00000139794,0.00002564697,0.000119389,0.000147611,0.0001088926,0.9982343,0.0002052085,0.001095768],"study_design_scores_gemma":[0.000006506768,0.000008840828,0.00009307409,0.00001364656,0.000003738533,0.00006662187,0.0000641088,0.001446391,0.0002009321,0.9880833,0.01000739,0.000005320757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1114942,0.005471824,0.7306041,0.008678441,0.001006144,0.00009997329,0.0004895843,0.0006573579,0.1414985],"genre_scores_gemma":[0.8837915,0.002038868,0.08616421,0.001682933,0.0008138122,0.0001993129,0.0002866525,0.0001576525,0.02486514],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006102798,"threshold_uncertainty_score":0.0204159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01209600733333371,"score_gpt":0.2356445238231586,"score_spread":0.2235485164898249,"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."}}