{"id":"W4413965840","doi":"10.70930/tac/bsjpp8a4","title":"Classical Distributive Restriction Categories","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada","keywords":"Distributive property; Computer science; Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"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.002211723,0.0003853042,0.0003611227,0.001535573,0.001945736,0.00347444,0.001116636,0.0007611376,0.009742589],"category_scores_gemma":[0.002256306,0.0003682632,0.0006410427,0.001267249,0.006378023,0.007406957,0.003163483,0.001762682,0.001470563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001654414,"about_ca_system_score_gemma":0.00108803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001219722,"about_ca_topic_score_gemma":0.001045582,"domain_scores_codex":[0.996962,0.0006425722,0.0001635227,0.000732255,0.001172471,0.0003272006],"domain_scores_gemma":[0.9978994,0.0005714793,0.0001305464,0.000457459,0.0007299467,0.0002112234],"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.000003755904,0.000002816626,0.00005887023,0.00001681391,0.000002542436,0.00002161192,0.0001668155,0.00005477099,0.0001653937,0.9947072,0.0006943684,0.004104948],"study_design_scores_gemma":[0.000008372047,0.00001486076,0.0004022398,0.00001756681,0.00000798076,0.0002317173,0.0001798074,0.001058362,0.0006865118,0.9235258,0.0738545,0.00001236101],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06938089,0.00358501,0.4684356,0.002509898,0.0004880489,0.000138721,0.00105107,0.001155373,0.4532554],"genre_scores_gemma":[0.84374,0.001423929,0.09082568,0.001440421,0.0009196753,0.0002597569,0.001096883,0.0001952962,0.06009823],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009742589,"threshold_uncertainty_score":0.03259218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008995886674870914,"score_gpt":0.2512302419638929,"score_spread":0.242234355289022,"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."}}