{"id":"W2027466518","doi":"10.1142/s021819670300150x","title":"CATEGORIES AS ALGEBRA, II","year":2003,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematics; Semidirect product; Morphism; Product (mathematics); Algebra over a field; Variety (cybernetics); Wreath product; Pure mathematics; Enriched category; Monoidal category; Group (periodic table); Functor","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.001405488,0.0004905148,0.0005588234,0.0019509,0.001669829,0.008734321,0.0008741187,0.0009550697,0.009941458],"category_scores_gemma":[0.001720236,0.0002823715,0.0006853075,0.002137957,0.006379117,0.008088407,0.00221263,0.002435138,0.002585899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003507606,"about_ca_system_score_gemma":0.001816071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001976468,"about_ca_topic_score_gemma":0.001536974,"domain_scores_codex":[0.9987079,0.0005615875,0.00006479147,0.0002266776,0.0003196501,0.0001193578],"domain_scores_gemma":[0.9992762,0.0001939193,0.00007331449,0.0001752941,0.0001946416,0.00008666706],"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.000002161778,0.000001715195,0.00005847746,0.00001839012,0.000002097084,0.000008213729,0.0002359027,0.00008043987,0.00006321486,0.9922141,0.003671024,0.003644169],"study_design_scores_gemma":[0.000001873279,0.000005889603,0.0001497832,0.0000320842,0.00000247113,0.00006423756,0.000234069,0.000273411,0.0000533315,0.8683961,0.1307841,0.000002712318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01971735,0.1009669,0.1786947,0.01743471,0.004389792,0.0001230462,0.00142654,0.0006632881,0.6765836],"genre_scores_gemma":[0.676537,0.02911768,0.08382786,0.00588091,0.00407824,0.0005053001,0.001637083,0.0003931313,0.1980229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009941458,"threshold_uncertainty_score":0.03325748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01434129950801473,"score_gpt":0.2667221476711002,"score_spread":0.2523808481630855,"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."}}