Definitions
from The Century Dictionary.
- In mathematics, connected with a monoid, a hypersurface of n order with an (n—1) fold point.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Of, pertaining to, or being a
monoid .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word monoidal.
Examples
-
Any category with these functions satisfying these same laws is called a monoidal category.
A Neighborhood of Infinity sigfpe 2008
-
A monoid within a monoidal category is defined to be:
Planet Haskell 2009
-
We can do this by viewing Set as a monoidal category using co-product as the
Planet Haskell 2009
-
(Note that by making different choices for the (bi) functor and distinguished object we may have several different ways to view an underlying category as monoidal).
Planet Haskell 2009
-
Now, recall that "B" is the (bi) functor which we selected when creating our monoidal category, so "B (c, c)" is just another object.
Planet Haskell 2009
-
At Vicary spoke about his characterisation of the complex numbers using natural structures in dagger monoidal categories with superposition (see this paper).
Arcadian Functor 2009
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.