Homotopy Type Theory cancellation Z-algebra > history (Rev #3)

There are many different types of cancellation Z-algebras. Some of these include

• Heyting cancellation Z-algebra

• discrete cancellation Z-algebra

• residue cancellation Z-algebra?

et cetera.

See also

• Z-algebra

• division Z-algebra

• reciprocal Z-algebra

• cancellation ring