Homotopy Type Theory division Z-algebra > history (Rev #4, changes)

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

• Heyting division Z-algebra

• discrete division Z-algebra

• residue division Z-algebra?

et cetera.

See also

• Z-algebra

• divison ring