English Wikipedia - The Free Encycl...
Download this dictionary
Monoid (category theory)
In
category theory
, a
monoid
(or
monoid object
) (
M
, μ, η) in a
monoidal category
(
C
, ⊗,
I
) is an object
M
together with two
morphisms
μ:
M
⊗
M
→
M
called
multiplication
,
η:
I
→
M
called
unit
,
such that the pentagon diagram
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License