Definition. Coproduct of Groupoids [007W]

TODO. Essentially just disjoint union.