{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003010429,0.0003917752,0.001005884,0.003203144,0.002446578,0.005202641,0.00149034,0.0009898541,0.00382419],"category_scores_gemma":[0.005456275,0.0008532051,0.001471878,0.002017951,0.007658456,0.008290598,0.005783892,0.002879922,0.0003645715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784138,"about_ca_system_score_gemma":0.001103756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001405846,"about_ca_topic_score_gemma":0.0009728728,"domain_scores_codex":[0.996482,0.0008193011,0.0002978147,0.001054468,0.0008676773,0.0004788028],"domain_scores_gemma":[0.9942017,0.002633184,0.0003461983,0.001041557,0.001047734,0.0007296804],"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.0000153819,0.000008637965,0.0004988959,0.00003719537,0.0000143118,0.00003453377,0.0005580436,0.0001855547,0.0003701075,0.9937011,0.0004209892,0.004155177],"study_design_scores_gemma":[0.00000755164,0.00001031172,0.0005398064,0.00001763167,0.00001422652,0.00008907903,0.0001278654,0.0007333828,0.0003862802,0.9937363,0.004325554,0.00001196364],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.44003,0.01068586,0.4299073,0.004296135,0.0006143319,0.00008493973,0.001302477,0.001193544,0.1118854],"genre_scores_gemma":[0.9711177,0.0009431798,0.02034291,0.0003985113,0.0003500859,0.0000706307,0.0004098442,0.0001089209,0.006258193],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005202641,"threshold_uncertainty_score":0.01592082,"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."}}