Related papers: Discrete pre-Tannakian categories

Proto-exact and parabelian categories serve as non-additive analogues of exact and quasi-abelian categories, respectively. They give rise to algebraic K-theory and Hall algebras similarly to the additive setting. We show that every…

We prove an analog of the K\"unneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed…

We develop a basic theory of affine group dg-schemes, their Lie algebraic counterparts and linear representations. We prove Tannaka type reconstruction theorems that an affine group dg-scheme can be recovered from the dg-tensor category of…

If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…

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…

We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by…

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

Ostrowski's theorem implies that $\log(x),\log(x+1),\ldots$ are algebraically independent over $\mathbb{C}(x)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies…

The topic of this paper is a generalization of Tannaka duality to coclosed categories. As an application we prove reconstruction theorems for coalgebras (and bialgebras) in categories of topological vector spaces over a nonarchimedean field…

We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…

We classify the thick subcategories of an algebraic triangulated standard category with finitely many indecomposable objects.

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

We define the Tannakian radical of a braided fusion category $\mathcal{C}$ as the intersection of its maximal Tannakian subcategories. The localization of $\mathcal{C}$ corresponding to the Tannakian radical, termed the mantle of…

We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by…

In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: simple theories can be combined into more complex ones, and…

We determine internal characterisations for when a tensor category is (super) tannakian, for fields of positive characteristic. This generalises the corresponding characterisations in characteristic zero by P. Deligne. We also explore…

A graded tensor category over a group $G$ will be called a strongly $G$-graded tensor category if every homogeneous component has at least one multiplicativily invertible object. Our main result is a description of the module categories…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

We show that for a complex abelian variety X a certain Tannaka group G(X) attached to X is a pro-reductive group whose group of connected components is abelian, and hence isomorphic to the etale pro-finite abelian fundamental group of the…