Homotopy Type Theory magma > history (Rev #2, changes)

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

Definition

< magma

A magma is a type

AA with a binary operation μ:A×AA\mu:A \times A \to A and a term p:isSet(A)p:isSet(A) stating that AA is a set.

See also

Revision on June 13, 2022 at 21:58:31 by Anonymous?. See the history of this page for a list of all contributions to it.