This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)
The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].