Homotopy Type Theory reciprocal Z-algebra > history (Rev #2, changes)

There are many different types of reciprocal $\mathbb{Z}$-algebras. Some of these include

• Heyting reciprocal Z-algebra

• discrete reciprocal Z-algebra

• residue reciprocal Z-algebra?

et cetera.

See also

• unital Z-algebra

• cancellation Z-algebra

• reciprocal ring