This question already has an answer here:
I mean groups and not abelian groups. In Grp, categorically, he product is the cartesian product and the coproduct is the free product. So what place takes the direct sum? Can it be defined categorically in Grp or any similar category? I would be surprised if can't be defined using limits of co/cones or something similar. If not, are they really useful (the direct sum of groups) for something?