Tannaka duality revisited

We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal functors between ∞-categories of quasi-coherent complexes which preserve connective and pseudo-coherent complexes.