 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$.