#
Homotopy Type Theory

H-space (Rev #4, changes)

Showing changes from revision #3 to #4:
Added | ~~Removed~~ | ~~Chan~~ged

# Contents

## Idea

Classically, an H-space is a homotopy type equipped with the structure of a unital magma in the homotopy category (only).

## Definition

A H-Space consists of

- A type $A$,
- A basepoint $e:A$
- A binary operation $\mu : A \to A \to A$
- for every $a:A$, equalities $\mu(e,a)=a$ and $\mu(a,e)=a$

## Properties

Let $A$ be a connected H-space. Then for every $a:A$, the maps $\mu(a,-),\mu(-,a):A \to A$ are equivalences.

## References

~~HoTT book~~HoTT book

Revision on September 4, 2018 at 09:36:58 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.