Showing changes from revision #4 to #5:
Added | Removed | Changed
Classically, H-spaces an are simply types equipped with the structure of a magma (from classical Algebra). They are useful classically in constructing fibrations.H-space is a homotopy type equipped with the structure of a unital magma in the homotopy category (only).
A H-Space consists of
Let be a connected H-space. Then for every , the maps are equivalences.
synthetic homotopy theory? hopf fibration
Classically, an H-space is a homotopy type equipped with the structure of a unital magma in the homotopy category (only).