{"id":"W4413966139","doi":"10.70930/tac/nsowlnwy","title":"A note on the categorical congruence distributivity","year":2019,"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":"","keywords":"Distributivity; Congruence (geometry); Categorical variable; Mathematics; Computer science; 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.0003578629,0.00007933548,0.0001057578,0.00001908315,0.0001396678,0.00003063523,0.0004641592,0.00002869873,0.00001869339],"category_scores_gemma":[0.00004345156,0.00004878918,0.0000252243,0.0002326292,0.000233489,0.0001420265,0.0001102769,0.00009644734,0.00005002372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007931869,"about_ca_system_score_gemma":0.00002527908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003328185,"about_ca_topic_score_gemma":5.304986e-7,"domain_scores_codex":[0.9994142,0.00007530156,0.0001066959,0.0001930042,0.00009608876,0.0001147121],"domain_scores_gemma":[0.998472,0.0008677544,0.00006787926,0.0005138279,0.00004676226,0.00003174002],"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.0000103653,0.00002430729,0.00009608905,0.000005786989,0.000003005559,1.549362e-7,0.0001279941,0.00001397018,0.0004681056,0.9866623,0.00001658593,0.01257139],"study_design_scores_gemma":[0.00006519229,0.00004484547,0.001095834,0.000002053864,0.00000330517,0.000003823977,0.00009251008,0.0001523279,0.007962712,0.9846777,0.005826329,0.00007336258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05367656,0.000151896,0.9401367,0.001203171,0.00003724654,0.0003038387,0.000006610566,0.00005472739,0.004429266],"genre_scores_gemma":[0.9991221,0.00002136129,0.0003028354,0.0001725744,0.00001878703,0.00007523305,0.00000258209,0.00000252257,0.0002819938],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9454455,"threshold_uncertainty_score":0.1989565,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00770016346372899,"score_gpt":0.2444715662462335,"score_spread":0.2367714027825045,"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."}}