Homotopy Type Theory
Whitehead product

Defined in James construction.

category: homotopy theory