Homotopy Type Theory
monoid > history (changes)
Showing changes from revision #14 to #15:
Added | Removed | Changed
Contents
< monoid
Definition
A monoid is a set with an element and a function such that
-
-
for all ,
-
for all , , and ,
We define the binary operation as
Examples
-
The integers are a monoid.
-
Given a set , the type of endofunctions has the structure of an monoid, with basepoint , operation function composition.
See also
References
Last revised on June 14, 2022 at 16:35:43.
See the history of this page for a list of all contributions to it.