{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000344831,0.00009235319,0.0001297472,0.0001605345,0.0001004687,0.0002591984,0.000363703,0.00004164659,0.00001721534],"category_scores_gemma":[0.00007811264,0.00007617784,0.0000642639,0.0001147772,0.00003542341,0.0006044109,0.00006601484,0.0001021183,0.00001626782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003508032,"about_ca_system_score_gemma":0.0001035406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001800221,"about_ca_topic_score_gemma":0.000002529056,"domain_scores_codex":[0.9989193,0.00007039168,0.00033951,0.0001303354,0.0004310409,0.0001093869],"domain_scores_gemma":[0.9989824,0.00006323453,0.0003124914,0.00006721612,0.0004977543,0.00007692075],"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.000009309842,0.00005695678,0.0008559839,0.000003558706,0.00007761566,0.00005530649,0.001309932,0.0001810242,0.00009199746,0.9542648,0.0003908556,0.04270267],"study_design_scores_gemma":[0.0009847307,0.0005211148,0.002455808,0.00001223409,0.00001484011,0.001952254,0.0002659746,0.004018311,0.001988683,0.9634129,0.02417879,0.0001943139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.166792,0.0006084813,0.8253537,0.001024086,0.002391233,0.00006009473,1.899232e-7,0.00003054925,0.003739617],"genre_scores_gemma":[0.9945978,0.00003734281,0.004759976,0.000256306,0.0001745636,0.000001248551,0.000001543321,0.000004642451,0.0001665882],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8278058,"threshold_uncertainty_score":0.3106442,"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."}}