1: \begin{abstract} 

2: We give an operadic definition of a \emph{genuine} symmetric monoidal $G$-category, and we prove 

3: that its classifying space is a genuine $E_\infty$ $G$-space. 

4: We do this by developing some very general categorical coherence theory.  We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads.  It specializes to strictify genuine symmetric monoidal $G$-categories to genuine permutative $G$-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations. 

5: 

6: When $G$ is a finite group, the theory here

7: combines with previous work to generalize equivariant infinite loop space theory from strict 

8: space level input to considerably more general category level input.   It takes genuine 

9: symmetric monoidal $G$-categories as input to an equivariant infinite loop space machine that 

10: gives genuine $\OM$-$G$-spectra as output.

11: \end{abstract}

12: