Tannaka duality over ring spectra

James Wallbridge

We prove a Tannaka duality theorem for $(\infty ,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric mono…