Top Qs
Timeline
Chat
Perspective
Monoidal category action
From Wikipedia, the free encyclopedia
Remove ads
In algebra, an action of a monoidal category on a category is a functor
This article relies largely or entirely on a single source. (May 2024) |
such that there are natural isomorphisms and , which satisfy the coherence conditions analogous to those in .[1] is said to act on .
Any monoidal category is a monoid object in with the monoidal product being the category product. This means that equipped with an -action is exactly a module over a monoid in .
For example, acts on itself via the monoid operation .
Remove ads
Notes
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads