{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004506773,0.0005775699,0.001078269,0.001562848,0.002576425,0.003767903,0.001664258,0.001390187,0.007948561],"category_scores_gemma":[0.008166732,0.0004895521,0.001321942,0.001968737,0.01213577,0.01158639,0.008041126,0.006341772,0.001149386],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00132412,"about_ca_system_score_gemma":0.0009128563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001614999,"about_ca_topic_score_gemma":0.0009132879,"domain_scores_codex":[0.9959444,0.0009178994,0.0002260799,0.0007935492,0.001679395,0.0004386468],"domain_scores_gemma":[0.9936554,0.003567263,0.0003208883,0.00103977,0.0008777373,0.0005389249],"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.00001272234,0.000008640534,0.0001966884,0.00002443898,0.00000332635,0.0000428764,0.0003010497,0.0001647135,0.0006251246,0.9948465,0.0005662892,0.003207629],"study_design_scores_gemma":[0.000009748687,0.00002163352,0.0003075045,0.0000128762,0.000005615536,0.00007253185,0.00006513823,0.0007188791,0.0005454893,0.9865736,0.01165459,0.00001234721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06907085,0.006621817,0.6989066,0.01581794,0.001990201,0.00008663262,0.0003979521,0.0005544731,0.2065536],"genre_scores_gemma":[0.8113834,0.003628118,0.1521439,0.003001142,0.003919816,0.0002278895,0.0002768015,0.0003402791,0.0250786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007948561,"threshold_uncertainty_score":0.02659053,"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."}}