symmetric monoidal (∞,1)-category of spectra
A magma is called unital if it has an identity element , hence an element such that for all it satisfies the equation
holds. The identity element is idempotent.
Some authors take a magma to be unital by default (cf. Borceux-Bourn Def. 1.2.1).
There is also a possibly empty version, where the identity element is replaced with a constant function such that for all , and .
The Eckmann-Hilton argument holds for unital magmas: two compatible ones on a set must be equal, associative and commutative.
Examples include unital rings etc.
This concept could be generalized from the category of sets to any monoidal category:
A unital magma object or unital algebra object in a monoidal category is an object with morphisms and such that the following diagrams commute:
where and are the left and right unitors of the monoidal category.
In the category of modules, unital magma objects are called nonassociative unital algebras, and in the category of abelian groups, unital magma objects are called nonassociative rings.
Last revised on October 4, 2023 at 17:15:43. See the history of this page for a list of all contributions to it.