Pushout in a category ($B{⨿}_{A}C$)

A pushout of $B\leftarrow A\to C$ is a colimit with morphisms $B\to P$ and $C\to P$ making the square commute and universal among such commuting pairs. In the Category of sets, form the disjoint union of $B,C$ and identify the two images of each element of $A$.

For homomorphisms $i_j:H\to G_j$, the pushout of groups is $(G_1\ast G_2)/⟨⟨i_1(h)i_2(h{)}^{-1}:h\in H⟩⟩$. It has the universal property for homomorphisms out of $G_1,G_2$ agreeing on $H$. When the maps $i_j$ are injective, it is the amalgamated free product, with the factors and common subgroup embedded.