Theta-Categories and Tannakian duality

Abstract: We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means of a certain stack of fiber functors in the context of $\Theta$-categories. This provides, over a base ring of arbitrary characteristic, a strong link between Tannakian $\Theta$-categories and the schematic homotopy types.