Homotopy Type Theory discrete skewfield > history (Rev #2)

Definition

A discrete skewfield is a discrete reciprocal ring $(A, +, -, 0, \cdot, 1)$ with a term $p: (0 = 1) \to \emptyset$.

Examples

• The rational numbers are a discrete skewfield.

• Every discrete field is a discrete skewfield.

See also

• ring

• skewfield