{"id":"W4413965834","doi":"10.70930/tac/ugrides5","title":"Categorical aspects of congruence distributivity","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Centro de Matemática, Universidade de Coimbra; Fundação para a Ciência e a Tecnologia; Ministério da Ciência, Tecnologia e Ensino Superior; Universidade de Coimbra","keywords":"Distributivity; Congruence (geometry); Categorical variable; Mathematics; Pure mathematics; Statistics; Distributive property; Geometry","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002664524,0.0000715664,0.0001278244,0.0000421444,0.00006224279,0.00002763813,0.0002901617,0.00002969105,0.000007666885],"category_scores_gemma":[0.00003022428,0.00005720452,0.0000292707,0.000384314,0.000337461,0.0002357436,0.000100886,0.00006747132,0.000005333893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007201733,"about_ca_system_score_gemma":0.00005213977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000553824,"about_ca_topic_score_gemma":8.013984e-7,"domain_scores_codex":[0.9994417,0.00004082326,0.0001484065,0.0001906148,0.00008314897,0.00009533996],"domain_scores_gemma":[0.9991778,0.0003988404,0.00004611526,0.0002849886,0.00005552729,0.00003676501],"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.000003982361,0.00002242022,0.00002571905,0.00005329503,0.000007852875,0.000001047834,0.0001714026,0.000006095232,0.001317892,0.9647071,0.00001059365,0.03367261],"study_design_scores_gemma":[0.00003196194,0.0000285143,0.0003757276,0.000005484992,0.000008073099,0.00001030791,0.00007016199,0.0001691324,0.02774745,0.9687435,0.002747774,0.00006191843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01036994,0.002094304,0.982678,0.0001778995,0.00003997691,0.0001146845,0.00001213097,0.00008511463,0.004427984],"genre_scores_gemma":[0.9989524,0.00007448362,0.000800685,0.00001129893,0.00002374179,0.00003961811,0.000004388941,0.000002811029,0.00009052735],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9885825,"threshold_uncertainty_score":0.2332733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007729936963129655,"score_gpt":0.2547848876049026,"score_spread":0.247054950641773,"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."}}