Homotopy Type Theory square function > history (changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

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

Definition

< square function

In a

category: redirected to nlab
Z-algebra, multiplication is a magma, and thus AA has a square function (−) 2:A→A{(-)}^2: A \to A defined as x 2≔x⋅xx^2 \coloneqq x \cdot x

See also

Last revised on June 13, 2022 at 21:34:08. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionHide changesHistory (1 revision) Print Source