The four universal templates

Most product-like constructions can be understood as variants of four categorical shapes, each defined by a universal property:

Everything else typically adds an action, a quotient, a twist/cocycle, or an iteration/hierarchy.

The action hierarchy

The semidirect product $N \rtimes H$ adds one-sided control: $H$ acts on $N$ but not vice versa. The wreath product $G \wr H \cong G^{(X)} \rtimes H$ distributes many copies of $G$ across an index set and lets $H$ coordinate them. The Zappa–Szép product drops the asymmetry entirely: both sides act on each other and co-determine the multiplication.

The tensor product and interaction

Where the direct product stores independent coordinates, the tensor product $V \otimes W$ universalizes bilinear interaction. It turns structured interaction into an object in its own right — this is why it feels deeper than mere pairing. The monoidal product generalizes this to any category with a distinguished way of combining objects.

Local versus global

A fiber bundle $F \hookrightarrow E \to B$ looks like a product $F \times B$ on every small patch, but globally the pieces may be stitched with twists that prevent a global factorization. The Möbius band is the canonical example: locally an interval times a circle, globally twisted. This tension between local product structure and global obstruction is one of the deepest themes in topology and geometry.