Universal properties in group theory | Zoonk