Homotopy Type Theory
H-space > history (Rev #1)
Definition
A H-Space consists of
- A type ,
- A basepoint
- A binary operation
- for every , equalities and
Lemma
Let be a connected H-space. Then for every , the maps are equivalences.
Revision on August 5, 2018 at 13:31:38 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.