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

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

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