Homotopy Type Theory Q-algebra > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Definition

A $\mathbb{Q}$-algebra is a ring $A$ with a ring homomorphism? $h: \mathbb{Q} \to A$

Examples

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

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

See also

• ring