Definition Pseudomonoid action [efr-IOLJ]

Let \mathbb {C} be a 2-category. A pseudomonoid action internal to \mathbb {C} consists of the following data: An internal pseudomonoid M, an object C, a morphism \cdot : M \times C \to C, natural isomorphisms \mu : \cdot (\otimes \times 1_C) \to \cdot (1_M \times \cdot ) and \eta : \cdot \langle e, 1_C \rangle \to 1_C, satisfying the coherence equations from Definition [efr-OFNV].

A strict homomorphism of actions is a pair F_m: M \to M', F_c: C \to C' so that F_m is a strictly monoidal functor and F_c preserves the action strictly, i.e F_m(M) \cdot F_c(C) = F_c(M \cdot C), F_c(\eta ) = \eta ', etc. Note that this makes sense even if the monoidal category or action is not itself strict.