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

Showing changes from revision #2 to #3: Added | Removed | Changed

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