Template:Coproduct in the category

This article defines the coproduct in the category: