{"id":"W1524073030","doi":"10.1007/978-3-642-04639-1_23","title":"Complements in Distributive Allegories","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Distributive property; Topos theory; Axiom; Axiom of choice; Computer science; Context (archaeology); Discrete mathematics; Mathematical economics; Mathematics; Theoretical computer science; Pure mathematics; Programming language; Set theory; Set (abstract data type)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001164191,0.0005712218,0.0008694623,0.001446755,0.003725749,0.005716761,0.000911178,0.00111128,0.0116273],"category_scores_gemma":[0.002266821,0.0007749053,0.0006722132,0.002209181,0.007347437,0.01047752,0.00323778,0.003464997,0.001446958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002227708,"about_ca_system_score_gemma":0.001033009,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001340777,"about_ca_topic_score_gemma":0.002043582,"domain_scores_codex":[0.998889,0.0003975839,0.0000576859,0.0001668248,0.0003307299,0.000158317],"domain_scores_gemma":[0.9988464,0.0006938367,0.0000517905,0.0001603847,0.0001693793,0.00007823244],"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.000005359793,0.000003676867,0.00001426159,0.00001155001,9.771126e-7,0.00001340407,0.0001507219,0.00005602269,0.00006760243,0.9962716,0.0004872984,0.002917419],"study_design_scores_gemma":[0.000006610323,0.000005255954,0.0000559547,0.00001752458,0.000005040122,0.00005773613,0.0001410452,0.0003158146,0.0001891342,0.9788493,0.02035188,0.000004745299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.06655697,0.004331734,0.1328997,0.002409921,0.001008535,0.00008454787,0.000249344,0.0002607712,0.7921985],"genre_scores_gemma":[0.8287244,0.003135657,0.03600798,0.0004369234,0.0006949379,0.0002166609,0.0002773824,0.0002413581,0.1302647],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0116273,"threshold_uncertainty_score":0.03889716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03257546158954946,"score_gpt":0.3182489243293403,"score_spread":0.2856734627397909,"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."}}