Related papers: Discrete pre-Tannakian categories
Galois categories can be viewed as the combinatorial analog of Tannakian categories. We introduce the notion of pre-Galois category, which can be viewed as the combinatorial analog of pre-Tannakian categories. Given an oligomorphic group…
The Delannoy category is an interesting pre-Tannakian category associated to the oligomorphic group $\mathbb{G}$ of automorphisms of the totally ordered set $(\mathbf{R}, <)$. By construction, it admits some obvious simple commutative…
Given a semi-simple pre-Tannakian category over a finite field, we show that (a slight modification of) its linearization over a field of characteristic 0 is also semi-simple and pre-Tannakian. The key input is a result of Kuhn on the…
Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category…
We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a…
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…
Recently, Harman and the second author introduced a new construction of pre-Tannakian tensor categories based on oligomorphic groups. We develop tools for analyzing the Drinfeld centers of these categories, and compute the center explicitly…
We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…
We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding…
Given an oligomorphic group $G$ and a measure $\mu$ for $G$ (in a sense that we introduce), we define a rigid tensor category $\underline{\mathrm{Perm}}(G; \mu)$ of "permutation modules," and, in certain cases, an abelian envelope…
We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family $\mathcal{D}(n)$, for $n \ge 3$ an integer, and a continuous family $\mathcal{C}(t)$, for $t \ne 1$ a complex number. The construction…
In recent work, Harman and Snowden constructed a symmetric tensor category associated to an oligomorphic group equipped with a measure. The oligomorphic group $\mathbb{G}$ of order preserving automorphisms of the real line admits exactly…
Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.
Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…
We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…
For each finite semisimple tensor category, we associate a quantum group (face algebra) whose comodule category is equivalent to the original one, in a simple natural manner. To do this, we also give a generalization of the Tannaka-Krein…
We introduce and analyse a general notion of fundamental group for noncommutative spaces, described by differential graded algebras. For this we consider connections on finitely generated projective bimodules over differential graded…
We develop a theory of tensor categories over a field endowed with abstract operators. Our notion of a "field with operators", coming from work of Moosa and Scanlon, includes the familiar cases of differential and difference fields,…
The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally…
Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear…