Proposition [efr-002O]

Let \mathcal {M} be a monoidal category. Then an action of \mathcal {M} is equivalently a pseudofunctor C: B\mathcal {M} \to \mathsf {Cat}, where C(*) is the category which this is an action on.