Traditionally:
in group theory
the term amalgamated free product of groups refers to what really are pushouts in the category Grp, while
the plain term “free product” really refers to coproducts in the category Grpd;
therefore it makes sense to generally agree that:
Beware though, while the terminology “amalgamation” indeed neatly captures the nature of pushouts in general categories, traditionally it is not widely used in this generality.
Moreover, but only vaguely related:
Finally, the term amalgamation theory is used here and there…
Last revised on May 29, 2023 at 15:38:09. See the history of this page for a list of all contributions to it.