[[!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]] * [[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]] * [[bimodule]] * [[quadratic form]] * [[diagonal]] * [[diagonal form]] * [[Clifford algebra]] * [[algebra (module theory)]] ## References * [[HoTT Book]] category: navigation