 Fiber product of groups

For homomorphisms $E\to H$ and $G\to H$, their fiber product isIt is a subgroup of $E\times G$. Pulling a group extension back along $G\to H$ uses this fiber product as its middle group.