  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 $\infty$-categories of quasi-coherent complexes which preserve
connective and pseudo-coherent complexes.
