{"id":"W2120960585","doi":"10.70930/tac/7hx2qwbx","title":"Duality for CCD Lattices","year":2009,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Distributive property; Duality (order theory); Object (grammar); Distributive lattice; Combinatorics; Pure mathematics; Discrete mathematics; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":true,"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.001257085,0.000267325,0.0004269579,0.001738081,0.001798293,0.004174851,0.0004766031,0.000773361,0.008913018],"category_scores_gemma":[0.00220225,0.0002749127,0.0006237116,0.001060897,0.00275318,0.004161072,0.00245205,0.001676294,0.001044691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002341944,"about_ca_system_score_gemma":0.0009176138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001526996,"about_ca_topic_score_gemma":0.00109961,"domain_scores_codex":[0.9985679,0.0004611552,0.00006611829,0.0002526336,0.0004015506,0.0002506763],"domain_scores_gemma":[0.9989958,0.0002927996,0.00007160092,0.0001414837,0.000324321,0.0001739759],"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.000006602732,0.000004422524,0.00008298043,0.000007753736,0.000001169758,0.00002328588,0.00008655484,0.0001125756,0.0001446119,0.9973259,0.000543626,0.001660505],"study_design_scores_gemma":[0.000009549164,0.000008694008,0.0001878693,0.000009809339,0.000002342381,0.0001273097,0.0001302776,0.001764913,0.0003312852,0.9773135,0.02010732,0.000007139666],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1403631,0.00362987,0.3327992,0.00377589,0.001122851,0.0001245668,0.001011525,0.0004888925,0.5166841],"genre_scores_gemma":[0.9156711,0.0007966005,0.04152047,0.001056851,0.0005073192,0.0001747669,0.000590498,0.000115823,0.03956662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008913018,"threshold_uncertainty_score":0.02981699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01354177534373804,"score_gpt":0.283666514081975,"score_spread":0.2701247387382369,"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."}}