Coherence for monoidal G-categories and braided G-crossed categories

We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided G-crossed categories.