{"id":"W1989749889","doi":"10.1007/s10485-010-9232-1","title":"Universality of Categories of Coalgebras","year":2010,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Subcategory; Mathematics; Functor; Universality (dynamical systems); Concrete category; Pure mathematics; Functor category; Cartesian closed category; Theory of computation; Adjoint functors; Category of sets; Discrete mathematics; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.0001723486,0.0001463298,0.0003068431,0.00006315003,0.0000643372,0.00003310365,0.0008623638,0.0001506871,0.00003834415],"category_scores_gemma":[0.0000270667,0.0001099545,0.00007568218,0.0003655647,0.0002449023,0.00008934768,0.0001890822,0.0002213119,0.00000645299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001354157,"about_ca_system_score_gemma":0.00007477665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004174959,"about_ca_topic_score_gemma":0.00004739316,"domain_scores_codex":[0.9988302,0.00002609354,0.0003080501,0.0002913935,0.0003136641,0.0002305987],"domain_scores_gemma":[0.998944,0.00008708771,0.0002202735,0.0005507265,0.0001028966,0.00009505454],"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.00000744205,0.00002464885,0.0009849046,0.00003264681,0.00001987947,0.000002068038,0.000408143,0.000005552283,0.01524125,0.9750903,0.0001326404,0.008050518],"study_design_scores_gemma":[0.0002298915,0.00004791803,0.007771991,7.100238e-8,0.00001025274,0.000008329172,0.00009544776,0.00004999925,0.05113172,0.9368979,0.003615434,0.000141005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1409133,0.00009600558,0.8306946,0.0001274071,0.001279895,0.0003833055,0.000001400683,0.0002065211,0.02629755],"genre_scores_gemma":[0.9984233,0.000002547125,0.001419216,0.00002371841,0.00007708158,0.00000551971,0.000004262777,0.000006830169,0.00003746698],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8575101,"threshold_uncertainty_score":0.4483813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01120131727581923,"score_gpt":0.2270782724036542,"score_spread":0.2158769551278349,"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."}}