{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005414081,0.0003356934,0.0004897952,0.0003009938,0.0001345072,0.00003600632,0.0007533966,0.0002483312,0.00009295409],"category_scores_gemma":[0.0002122414,0.0003027103,0.00006367007,0.0001772865,0.0009360096,0.0001378444,0.0003027586,0.0007123686,0.00001673929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002278914,"about_ca_system_score_gemma":0.0001331097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004099054,"about_ca_topic_score_gemma":0.0002263435,"domain_scores_codex":[0.9981142,0.00003567762,0.0003984592,0.0006413321,0.0003441465,0.0004661406],"domain_scores_gemma":[0.9983642,0.0008311312,0.0001768481,0.0004887359,0.00007757217,0.00006150926],"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.00003181334,0.00006258307,0.0001371417,0.00003269664,0.00001266884,0.0001686156,0.001371764,0.001231304,0.00001258507,0.7551761,0.00004362459,0.2417191],"study_design_scores_gemma":[0.0002588659,0.00009000811,0.000172576,0.0001812085,0.000005857369,0.0000172532,9.136378e-7,0.001420719,0.0001538694,0.9960092,0.001384648,0.0003049309],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003408792,0.0001630989,0.9898856,0.0003424909,0.0004545131,0.0003037547,0.00002455715,0.00005206233,0.008433025],"genre_scores_gemma":[0.5971101,0.00007328053,0.3976412,0.002022524,0.000567555,0.00001444802,0.00006040787,0.00006448577,0.002446079],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5967692,"threshold_uncertainty_score":0.9999425,"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."}}