Homotopy Type Theory Higher algebra > history (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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

Definitions

• contractible type
• proposition
• set
• H-space
• A3-space
• grouplike A3-space
• commutative A3-space
• grouplike A3-space
• monoid
• commutative monoid
• group
• abelian group

References

• HoTT Book