 |
monoid object
| English Wikipedia - The Free Encyclopedia | 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,
| 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
