Homotopy Type Theory Z-algebra > history (changes)

Showing changes from revision #11 to #12: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~

~~$\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.

~~See also~~

abelian group

Q-algebra

unital Z-algebra

Last revised on June 13, 2022 at 21:18:51. See the history of this page for a list of all contributions to it.