Misplaced Pages

Monoidal category action

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Monoidal-category action)
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Monoidal category action" – news · newspapers · books · scholar · JSTOR (May 2024)

In algebra, an action of a monoidal category S on a category X is a functor

: S × X X {\displaystyle \cdot :S\times X\to X}

such that there are natural isomorphisms s ( t x ) ( s t ) x {\displaystyle s\cdot (t\cdot x)\simeq (s\cdot t)\cdot x} and e x x {\displaystyle e\cdot x\simeq x} and those natural isomorphism satisfy the coherence conditions analogous to those in S. If there is such an action, S is said to act on X.

For example, S acts on itself via the monoid operation ⊗.

Notes

  1. Weibel 2013, Ch. IV, Definition 4.7.

References


Stub icon

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: