category-theoretic construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?