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

There are many different types of commutative reciprocal rings. Some of these include

• commutative Heyting reciprocal ring

• commutative discrete reciprocal ring

• commutative residue reciprocal ring?

et cetera.

See also

• ring

• reciprocal ring

• commutative cancellation ring

• commutative division ring

• field (ring theory)