{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003046722,0.0004617572,0.0007371201,0.001485396,0.001830396,0.00578319,0.001226419,0.001041511,0.004662677],"category_scores_gemma":[0.009631923,0.0009561422,0.0008446331,0.00173742,0.00700925,0.01083191,0.005823732,0.002177681,0.0006289929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001193084,"about_ca_system_score_gemma":0.001232443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000640573,"about_ca_topic_score_gemma":0.001125407,"domain_scores_codex":[0.9951686,0.0009199639,0.0003707972,0.001391492,0.001424913,0.0007242936],"domain_scores_gemma":[0.9888158,0.004926445,0.00105046,0.001904265,0.002054449,0.001248481],"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.0001122573,0.00002947561,0.001196962,0.0001786683,0.00004684164,0.0004270458,0.0006741379,0.001042653,0.003510691,0.977225,0.00083551,0.01472068],"study_design_scores_gemma":[0.00004376949,0.00009067876,0.002562296,0.00007138605,0.00004231973,0.001304916,0.0007677121,0.005162632,0.005948775,0.9618411,0.02210835,0.00005597318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5001477,0.002577225,0.4155125,0.001752741,0.0003169387,0.0001252636,0.0008891971,0.001113627,0.07756486],"genre_scores_gemma":[0.9424519,0.0005477358,0.04701831,0.0003232208,0.0001015824,0.0001317964,0.0004981178,0.0001003034,0.008827072],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00578319,"threshold_uncertainty_score":0.0161128,"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."}}