Homotopy Type Theory commutative Heyting division ring > history (Rev #2, changes)

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

Definition

< field

A

commutative Heyting division ring is a Heyting division ring (A,+,,0,,1,#)(A, +, -, 0, \cdot, 1, #) with a commutative identity for \cdot:

m κ: (a:A) (b:A)ab=bam_\kappa:\prod_{(a:A)} \prod_{(b:A)} a\cdot b = b\cdot a

Properties

Every commutative Heyting division ring is a commutative Heyting reciprocal ring.

Examples

See also

Revision on June 12, 2022 at 20:40:47 by Anonymous?. See the history of this page for a list of all contributions to it.