products of magmas, monoids, groups, and abelian groups

and free abelian groups