Homotopy Type Theory Z-algebra > history (changes)

Showing changes from revision #11 to #12: Added | Removed | Changed

Definition

A

$\mathbb{Z}$-algebra is a $\mathbb{Z}$-module $A$ with a bilinear function $(-)\cdot(-): A \times A \to A$

Examples

• Every contractible type is a $\mathbb{Z}$-algebra.

• The integers are a $\mathbb{Z}$-algebra.

• The rational numbers are a $\mathbb{Z}$-algebra.