Defined in [[James construction]]. category: homotopy theory