Classically, an 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.
HoTT book
Revision on September 4, 2018 at 09:26:35 by Ali Caglayan. See the history of this page for a list of all contributions to it.