[[!redirects higher algebra]] [[!redirects Higher algebra in HoTT]] 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]] category: navigation