{"id":"W4413965789","doi":"10.70930/tac/hpwt711g","title":"Categories which are varieties of classical or ordered algebras","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; 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.001069262,0.000324954,0.000372371,0.001842424,0.0009027902,0.00356709,0.000643855,0.0005617659,0.004459459],"category_scores_gemma":[0.002221412,0.0002305608,0.0005396007,0.001202242,0.004889706,0.005404644,0.002363697,0.001100847,0.0005658873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006993585,"about_ca_system_score_gemma":0.0005022144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006504597,"about_ca_topic_score_gemma":0.0006452654,"domain_scores_codex":[0.9987566,0.0003080861,0.00008499341,0.0002277435,0.0004304811,0.0001920356],"domain_scores_gemma":[0.9991068,0.0002635081,0.0001305758,0.0001434951,0.000235279,0.0001203595],"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.000005669906,0.000003300749,0.0001655805,0.00002407573,0.000004459894,0.00004009089,0.000208378,0.0001287389,0.0003248978,0.9958977,0.0004143726,0.002782619],"study_design_scores_gemma":[0.00001061368,0.00001454366,0.0007583,0.00002528723,0.00001051848,0.0002334282,0.0003107078,0.0008209357,0.0005597686,0.9620783,0.03516481,0.00001282987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.2681645,0.009188646,0.3986664,0.002368277,0.001192065,0.0004594956,0.002166722,0.0009474964,0.3168465],"genre_scores_gemma":[0.9130017,0.001491018,0.05685782,0.0008233361,0.0004434417,0.0002901054,0.001140172,0.0000972856,0.02585518],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004459459,"threshold_uncertainty_score":0.01491839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009621424417508198,"score_gpt":0.2578848875257709,"score_spread":0.2482634631082627,"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."}}