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

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

Definition

A discrete skewfield is a discrete reciprocal ring $(A,+,-,0,\cdot ,1,\#)$ (A, +, -, 0, \cdot, 1, 1) #) with a term $p:(0<span><del\; class="diffmod">\; \#</del><ins\; class="diffmod">\; =</ins></span>1)\to \varnothing$ p: 0 (0 # = 1 1) \to \emptyset.

Examples

• The rational numbers are a discrete skewfield.

• Every discrete field is a discrete skewfield.

See also

• ring

• skewfield