1.Previous
3.Next

of objects indexed by a set The coproduct of the family is an object together with a collection of morphisms such that, for any object and any collection of morphisms there exists a unique morphism such that That is, the following diagram commutes for each :

The coproduct of the family is often denoted or

Sometimes the morphism may be denoted to indicate its dependence on the individual s.

Examples

The coproduct in the

1.Previous
3.Next