{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001004409,0.00015645,0.0003303847,0.0001039081,0.00003483536,0.00001254697,0.000612122,0.00008976924,0.00001443019],"category_scores_gemma":[0.00001742927,0.0001285742,0.00004642233,0.000751193,0.0001548028,0.0001270687,0.0001213449,0.0001415564,0.000001892134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004549064,"about_ca_system_score_gemma":0.00005581259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003121365,"about_ca_topic_score_gemma":0.0000318089,"domain_scores_codex":[0.9987254,0.0000303113,0.0003594153,0.0003634646,0.0002650375,0.0002563811],"domain_scores_gemma":[0.9992237,0.00007305276,0.0001762471,0.0004261226,0.00005860532,0.00004228309],"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.00001512477,0.00004258459,0.0008300447,0.00001857714,0.000004290689,0.000005440473,0.0001289041,0.0008475558,0.01136019,0.9837194,0.0001025366,0.002925333],"study_design_scores_gemma":[0.000280609,0.00003825422,0.058821,5.263971e-7,0.000003768062,0.000002894802,0.00004423485,0.0000587601,0.0570469,0.8833894,0.0001855846,0.0001281348],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6811942,0.0004378002,0.3041181,0.0003831059,0.0002751118,0.0003586737,0.000003710579,0.0001368142,0.01309246],"genre_scores_gemma":[0.9960397,0.000006135691,0.003825017,0.00004387687,0.00004586194,0.000003124609,0.000007155445,0.00000525844,0.00002389804],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3148454,"threshold_uncertainty_score":0.5243102,"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."}}