{"id":"W4413966130","doi":"10.70930/tac/ppe2lhca","title":"Thestrong amalgamation property and (effective) codescent morphisms","year":2003,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Morphism; Property (philosophy); Mathematics; Computer science; Pure mathematics; Philosophy; Epistemology","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007822755,0.0001086138,0.0001446658,0.00004940722,0.000163944,0.00006456605,0.0002160439,0.00003720264,0.000005241484],"category_scores_gemma":[0.00005865351,0.00007586405,0.00002118539,0.0002049195,0.0003104142,0.000237844,0.0001054136,0.00006798108,0.000002559063],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001462175,"about_ca_system_score_gemma":0.00002866209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000702795,"about_ca_topic_score_gemma":0.000001050737,"domain_scores_codex":[0.9991281,0.0002100084,0.0001688005,0.0002708618,0.0001005378,0.0001216624],"domain_scores_gemma":[0.9990893,0.0002953848,0.00008172618,0.0003866706,0.00009480511,0.00005211896],"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.000005573928,0.0000544438,0.0004352442,0.00002875684,0.0000072647,1.246942e-7,0.0005610535,0.0000258103,0.0006479112,0.9037006,0.000004283537,0.09452891],"study_design_scores_gemma":[0.000238414,0.00009588836,0.007307319,0.000008404363,0.00001635963,0.00002570399,0.0002600329,0.001772757,0.01733321,0.9687542,0.004012728,0.0001749593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06288482,0.000453022,0.9336764,0.0001555074,0.00002846523,0.0006662607,0.00000184336,0.00007962756,0.002054006],"genre_scores_gemma":[0.9891522,0.00003971569,0.010406,0.00002553642,0.00001734576,0.0002199017,0.000001757085,0.000004872716,0.0001326573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9262674,"threshold_uncertainty_score":0.3093646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007957139927118391,"score_gpt":0.2247279744950848,"score_spread":0.2167708345679664,"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."}}