Homotopy Type Theory Higher algebra > history (Rev #7)

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
• Z-algebra
• unital Z-algebra
• ring
• commutative ring
• commutant
• algebra (ring theory)
• commutative algebra (ring theory)
• polynomial ring
• univariate polynomial ring
• function algebra
• action
• magma
• power-associative magma
• abelian group homomorphism
• bilinear function
• module
• algebra (module theory)

References

• HoTT Book