{"id":"W2038808199","doi":"10.1007/s10485-006-9019-6","title":"Universality of Coproducts in Categories of Lax Algebras","year":2006,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Coproduct; Mathematics; Functor; Concrete category; Pure mathematics; Universality (dynamical systems); Inverse; Category of topological spaces; Topological space; Topological tensor product","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.004955913,0.0006230815,0.001420709,0.00470514,0.004824414,0.007451486,0.001918045,0.001792144,0.0040352],"category_scores_gemma":[0.00889402,0.001226134,0.001982806,0.002998768,0.0110067,0.01436888,0.006880877,0.003888403,0.0003893234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00215927,"about_ca_system_score_gemma":0.001393076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001146717,"about_ca_topic_score_gemma":0.0009955805,"domain_scores_codex":[0.9963965,0.000794268,0.0003709471,0.0009301266,0.0007957601,0.0007124367],"domain_scores_gemma":[0.9916993,0.003397394,0.0007920383,0.00127089,0.001321005,0.001519364],"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.00002372031,0.00001688415,0.0004470303,0.00002399262,0.00001029214,0.00006742393,0.0007469741,0.0001292471,0.0004576363,0.9961914,0.0001663418,0.001719081],"study_design_scores_gemma":[0.00001054802,0.00001454781,0.0002439579,0.00001160304,0.00001428536,0.0000940036,0.0001933298,0.0007527973,0.0004411719,0.9972888,0.0009197175,0.00001520297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7053757,0.002280571,0.2413942,0.001892756,0.000404942,0.00009910214,0.000477609,0.0006519537,0.04742314],"genre_scores_gemma":[0.9840831,0.0003958812,0.0108823,0.00019748,0.0002434279,0.00006054761,0.0001874427,0.00007204224,0.003877724],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007451486,"threshold_uncertainty_score":0.02620971,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006520437979729841,"score_gpt":0.2058792689974165,"score_spread":0.1993588310176866,"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."}}