In
category theory, a branch of
mathematics, a monoid (or monoid object, or internal monoid, or algebra) in a
monoidal category
In mathematics, a monoidal category (or tensor category) is a category \mathbf C equipped with a bifunctor
:\otimes : \mathbf \times \mathbf \to \mathbf
that is associative up to a natural isomorphism, and an object ''I'' that is both a left ...
is an
object ''M'' together with two
morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphis ...
s
* ''μ'': ''M'' ⊗ ''M'' → ''M'' called ''multiplication'',
* ''η'': ''I'' → ''M'' called ''unit'',
such that the pentagon
diagram
A diagram is a symbolic representation of information using visualization techniques. Diagrams have been used since prehistoric times on walls of caves, but became more prevalent during the Enlightenment. Sometimes, the technique uses a three ...
:
and the unitor diagram
:
commute. In the above notation, is the
identity morphism of , is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C.
Dually, a comonoid in a monoidal category C is a monoid in the
dual category C
op.
Suppose that the monoidal category C has a
symmetry ''γ''. A monoid ''M'' in C is commutative when .
Examples
* A monoid object in
Set, the
category of sets
In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between sets ''A'' and ''B'' are the total functions from ''A'' to ''B'', and the composition ...
(with the monoidal structure induced by the
Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\ ...
), is a
monoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids ...
in the usual sense.
* A monoid object in
Top, the
category of topological spaces In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again con ...
(with the monoidal structure induced by the
product topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seem ...
), is a
topological monoid.
* A monoid object in the category of monoids (with the
direct product
In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one t ...
of monoids) is just a
commutative monoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids a ...
. This follows easily from the
Eckmann–Hilton argument.
* A monoid object in the category of
complete join-semilattices Sup (with the monoidal structure induced by the Cartesian product) is a unital
quantale.
* A monoid object in (
Ab, ⊗
Z,
Z), the
category of abelian groups In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can be embedded in Ab.
Properties
The zero object of ...
, is a
ring.
* For a
commutative ring ''R'', a monoid object in
** (
''R''-Mod, ⊗
''R'', ''R''), the
category of modules
In algebra, given a ring ''R'', the category of left modules over ''R'' is the category whose objects are all left modules over ''R'' and whose morphisms are all module homomorphisms between left ''R''-modules. For example, when ''R'' is the ri ...
over ''R'', is an
''R''-algebra.
** the category of
graded modules is a
graded ''R''-algebra.
** the
category of chain complexes
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of th ...
of ''R''-modules is a
differential graded algebra
In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure.
__TOC__
Definition
A differential graded a ...
.
* A monoid object in ''K''-Vect, the
category of ''K''-vector spaces (again, with the tensor product), is a ''K''-
algebra
Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
, and a comonoid object is a ''K''-
coalgebra In mathematics, coalgebras or cogebras are structures that are dual (in the category-theoretic sense of reversing arrows) to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagra ...
.
* For any category ''C'', the category
'C'',''C''of its
endofunctor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, an ...
s has a monoidal structure induced by the composition and the identity
functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, an ...
''I''
''C''. A monoid object in
'C'',''C''is a
monad on ''C''.
* For any category with
finite products, every object becomes a comonoid object via the diagonal morphism
. Dually in a category with
finite coproducts every object becomes a monoid object via
.
Categories of monoids
Given two monoids (''M'', ''μ'', ''η'') and (''
M''', ''
μ''', ''
η''') in a monoidal category C, a morphism ''f'' : ''M'' → ''M'' ' is a morphism of monoids when
* ''f''
o ''μ'' = ''μ
o (''f'' ⊗ ''f''),
* ''f''
o ''η'' = ''η.
In other words, the following diagrams
,
commute.
The category of monoids in C and their monoid morphisms is written Mon
C.
[Section VII.3 in ]
See also
*
Act-S, the category of monoids acting on sets
References
*{{cite book , first1=Mati , last1=Kilp , first2=Ulrich , last2=Knauer , first3=Alexander V. , last3=Mikhalov , title=Monoids, Acts and Categories , date=2000 , publisher=Walter de Gruyter , isbn=3-11-015248-7
Monoidal categories
Objects (category theory)
Categories in category theory