Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

Here we collect articles about doing higher algebra or homotopical algebra in HoTT.

- contractible type
- proposition
- set
- H-space
- A3-space
- grouplike A3-space
- commutative A3-space
- grouplike A3-space
- monoid
- commutative monoid
- group
- abelian group
- Z-algebra
- unital Z-algebra
- ring
- commutative ring

category: navigation