Definition Actegory [efr-OFNV]
Definition Actegory [efr-OFNV]
Let \mathcal {M} be a monoidal category. A \mathcal {M}-actegory (also \mathcal {M}-module, \mathcal {M}-action) is a category \mathcal {C} equipped with a functor \cdot : \mathcal {M} \times \mathcal {C} \to \mathcal {C} called the action (written infix, M \cdot C), and natural isomorphisms \mu : (M \otimes M') \cdot C \to M \cdot (M' \cdot C), \eta : I \cdot C \to C satisfying the following coherence equations:
