So I just started in on Category theory (reading the quintessential text, "Categories for the Working Mathematician"), and I am trying to get my head around the difference between Products and Coproducts. Can someone explain or discuss the conceptual and practical difference between them to me? They are seeming remarkably similar.
For example, I recall that in the category of abelian groups, the product and coproduct of a finite number of objects are the exact same, and they are remarkably similar for infinite groups, just that coproducts have a limit on their terms, so should I be lead to think they are similar in they way? It's similar in the non-abelian case (though free products look quite a bit more messy), the coproduct is kinda like a limited version of the product, right?
Does anyone have an explanation? I would really appreciate anything, thanks!