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

Understand

We prove a coherence theorem for actions of groups on monoidal categories.

• As an application we prove coherence for arbitrary braided $G$-crossed categories.