{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0016811,0.0004624239,0.0004311276,0.001606862,0.002074745,0.002485953,0.000726779,0.0009494988,0.003290667],"category_scores_gemma":[0.00372373,0.0003943859,0.0009842002,0.001140339,0.006404665,0.005543694,0.004919683,0.001399233,0.0005330667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008496649,"about_ca_system_score_gemma":0.0006466077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004964018,"about_ca_topic_score_gemma":0.0004168883,"domain_scores_codex":[0.9978441,0.0003753511,0.0001605605,0.0005097137,0.000671168,0.0004390903],"domain_scores_gemma":[0.9963678,0.000964581,0.0005391318,0.00102831,0.0006504852,0.0004496696],"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.00002875552,0.00001449909,0.001191052,0.00003991683,0.000008023638,0.0001675524,0.000557103,0.000477734,0.003336572,0.9824437,0.0004368075,0.01129814],"study_design_scores_gemma":[0.00001159767,0.00006896319,0.001365257,0.00002626595,0.0000224821,0.0009372461,0.0003288534,0.006650968,0.008686278,0.9667796,0.01508872,0.00003378089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5082974,0.001338606,0.442906,0.00102849,0.000239675,0.00008620312,0.0002847381,0.0006009649,0.04521778],"genre_scores_gemma":[0.9495344,0.0002894183,0.04108271,0.0001265706,0.0001700116,0.00007147487,0.0001880298,0.0000739402,0.008463514],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003290667,"threshold_uncertainty_score":0.01100832,"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."}}