{"id":"W4413972932","doi":"10.70930/tac/hg8zc6yj","title":"Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality","year":2024,"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":"Duality (order theory); Mathematics; Mathematical economics; Pure mathematics","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.001929182,0.0005217225,0.0006289902,0.001897157,0.001907799,0.003097517,0.0007443311,0.0009775567,0.004548315],"category_scores_gemma":[0.002030061,0.0002586081,0.001130275,0.001307458,0.004067141,0.00646255,0.003408296,0.002113844,0.0005787301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001552085,"about_ca_system_score_gemma":0.0008146523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001048257,"about_ca_topic_score_gemma":0.001090034,"domain_scores_codex":[0.9988224,0.000384969,0.00006138747,0.0002113365,0.0003135023,0.0002063779],"domain_scores_gemma":[0.9990914,0.0002271046,0.0001062738,0.0001640472,0.0002716158,0.0001395054],"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.000003167443,0.0000046885,0.00005715767,0.000006609922,0.000002115567,0.00003214233,0.0001040067,0.0001724879,0.0001682127,0.9977522,0.0001828698,0.001514448],"study_design_scores_gemma":[0.0000028011,0.00000832681,0.00006810584,0.000006431638,0.000003285523,0.00006146915,0.00007718661,0.001328063,0.000357544,0.9942541,0.003826999,0.000005666852],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1350477,0.001974315,0.682703,0.003286327,0.0007149846,0.0000938669,0.0002120175,0.0002577695,0.17571],"genre_scores_gemma":[0.8760247,0.001357659,0.1036228,0.001018632,0.0005259712,0.0001206204,0.0001585994,0.00009489171,0.01707603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004548315,"threshold_uncertainty_score":0.01521564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01672530276461779,"score_gpt":0.2950997350261663,"score_spread":0.2783744322615485,"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."}}