A short note on coproducts of abelian pro-Lie groups

The notion of conditional coproduct of a family of abelian pro-Lie groups in the category of abelian pro-Lie groups is introduced. It is shown that the cartesian product of an arbitrary family of abelian pro-Lie groups can be characterized by the universal property of the conditional coproduct.