En álgebra, una acción de una categoría monoidal S sobre una categoría X es un funtor
tal que hay isomorfismos naturales y y aquellos isomorfismo natural de satisfacer las condiciones de coherencia análogos a los de S . [1] Si hay una acción tal, S se dice para actuar en X .
Por ejemplo, S actúa sobre sí mismo mediante la operación monoide ⊗.
Referencias
- C. Weibel " El libro K: una introducción a la teoría K algebraica "