Homotopy Type Theory Heyting domain > history (Rev #3, changes)

Examples

• The integers are a Heyting domain.

• The rational numbers are a Heyting domain

• Every discrete domain is a Heyting domain.

• Every Heyting skewfield is a Heyting domain.

See also

• ring

• domain