Tannaka duality and stable infinity-categories

We introduce a notion of fine Tannakian infinity-categories and prove Tannakian characterization results for symmetric monoidal stable infinity-categories over a field of characteristic zero. It connects derived quotient stacks with symmetric monoidal stable infinity-categories which satisfy a certain simple axiom. We also discuss several applications to examples.