Homotopy Type Theory square function > history (Rev #1)

Definition

In a Z-algebra, multiplication is a magma, and thus $A$ has a square function ${(-)}^2: A \to A$ defined as $x^2 \coloneqq x \cdot x$

See also

• quadratic function
• Z-algebra