Countable coproduct (source code)

= Countable coproduct

A countable coproduct is indexed by the natural numbers. In the <Category of sets> it is the disjoint union $\coprod_{n\in\mathbb N}A_n$.