{"id":"W4242444051","doi":"10.1017/cbo9781107340985.004","title":"Ordered Sets via Adjunction","year":2003,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Adjunction; Mathematics; Computer science; Pure mathematics","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.00006597491,0.0003817447,0.0003415644,0.0001785155,0.0002381747,0.0000587816,0.0009303783,0.000346936,0.000005823581],"category_scores_gemma":[0.000005670507,0.0004386624,0.000189632,0.00001749547,0.0001235138,0.000262589,0.0004325133,0.0004357754,0.00005357799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001810387,"about_ca_system_score_gemma":0.00007254227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000201044,"about_ca_topic_score_gemma":0.000001323896,"domain_scores_codex":[0.998468,0.000043335,0.000165232,0.000723823,0.0002774452,0.0003221059],"domain_scores_gemma":[0.9985324,0.00004087473,0.0002215227,0.0008775716,0.0001508197,0.0001767855],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001378531,0.000007284418,3.390398e-7,0.00002225733,0.00004771641,0.000253854,0.00001909714,0.00001041664,0.00002949579,0.9712394,0.01742855,0.01092778],"study_design_scores_gemma":[0.0004455193,0.00006705684,0.000006763094,0.00004452064,0.00005351067,0.00005501433,0.000003992194,0.0005484768,0.0001902944,0.0007300838,0.9973311,0.0005236072],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000009294195,0.0001113559,0.2622244,0.00002278528,0.0004929926,0.0002171264,0.00001740495,0.0002517636,0.7366529],"genre_scores_gemma":[0.0004141457,0.00005946723,0.003004055,0.0003028414,0.00005568328,5.719115e-7,0.00002085188,0.0000287843,0.9961136],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9799026,"threshold_uncertainty_score":0.9998065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01903686459502413,"score_gpt":0.1915426406290922,"score_spread":0.1725057760340681,"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."}}