Tannakian formalism for fiber functors over tensor categories (Q1669680): Difference between revisions

The paper provides a Tannakian formalism to fiber functors over general tensor categories. When the fiber functor has a section, conditions are provided under which the source category is equivalent to the category of comodules over a Hopf algebra in the target category. This Hopf algebra is described in terms of the framed objects as defined in \textit{A. Beilinson} et al. [in: The Grothendieck Festchrift Vol. 1, Birkhäuser, 135--172 (1990; Zbl 0737.14003)].\par While this paper makes use of actegories (module categories over a monoidal category), some similar results are obtained using enriched categories in the papers \textit{B. J. Day} [J. Pure Appl. Algebra 108, No. 1, 17--22 (1996; Zbl 0857.18011)], and \textit{D. Schäppi} [``A characterization of categories of coherent sheaves of certain algebraic stacks'', \url{arXiv:1206.2764}].