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

There are many different types of cancellation Z-algebra. 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