Difference between revisions of "Categorical coproducts"