Assuming your universal property is true, it exactly says that the HNN extension is the coinserter of $(i_2 \circ \alpha,i_1) : H \to G$.
Martin Brandenburg
- 63.1k
- 11
- 207
- 424