Homotopy Type Theory unital Z-algebra > history (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

Definition

A unital \mathbb{Z}-algebra is an $\mathbb{Z}$-algebra (A,+,,0,)(A, +, -, 0, \cdot) with

  • a term 1:A1: A
  • a left unit identity for \cdot
    u λ: (a:G)1a=au_\lambda:\prod_{(a:G)} 1 \cdot a = a
  • a right unit identity for \cdot
    u ρ: (a:G)a1=au_\rho:\prod_{(a:G)} a \cdot 1 = a

Properties

A unital \mathbb{Z}-algebra is an H-space in abelian groups.

Every untial \mathbb{Z}-algebra where 00 has a two-sided inverse is contractible.

Examples

See also

Revision on June 13, 2022 at 00:56:13 by Anonymous?. See the history of this page for a list of all contributions to it.