{"id":"W3115348371","doi":"10.70930/tac/bp2ff6uy","title":"Completely distributive enriched categories are not always continuous","year":2020,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Distributivity; Distributive property; Unit interval; Mathematics; Norm (philosophy); Interval (graph theory); Distributive lattice; Pure mathematics; Discrete mathematics; Mathematical economics; Combinatorics; Epistemology; Philosophy","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001824815,0.0001511342,0.0002767727,0.00002879249,0.0002327721,0.00005737144,0.0005481021,0.00004646626,0.00001421586],"category_scores_gemma":[0.00008504842,0.0001306788,0.00004429782,0.000376359,0.0004275491,0.0002720046,0.0002153239,0.0001107942,0.00001796076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000078586,"about_ca_system_score_gemma":0.00003028169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004047277,"about_ca_topic_score_gemma":0.000001000038,"domain_scores_codex":[0.9990613,0.00007886552,0.0002345782,0.0003200345,0.0001225585,0.0001825984],"domain_scores_gemma":[0.9988582,0.0003612567,0.0001938718,0.0003388143,0.0001393196,0.0001085218],"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.00003754632,0.00002979791,0.0001795187,0.00002679292,0.0000160544,0.000001213548,0.001240537,0.00001261574,0.001597123,0.9871748,0.00007962018,0.009604353],"study_design_scores_gemma":[0.0002694021,0.0001006224,0.002405917,0.000003386,0.0000207753,0.000006672664,0.00207763,0.0001666672,0.01866669,0.960968,0.0150847,0.0002295186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01377717,0.0006178916,0.9821442,0.001657977,0.00002517905,0.0002740264,0.00005565495,0.0001698326,0.001278092],"genre_scores_gemma":[0.9971871,0.00005027463,0.001938388,0.0004993233,0.00006817823,0.0001574372,0.00002311259,0.00000688679,0.0000692637],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9834099,"threshold_uncertainty_score":0.5328928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0174269764769061,"score_gpt":0.2406612944627323,"score_spread":0.2232343179858262,"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."}}