Related papers: Tannakian categories, linear differential algebrai…

In this paper we extend the generalized algebraic fundamental group constructed by Esnault and Hogadi to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

We show that, under appropriate hypothesis, the groupoid of maps from S to an an algebraic stack X can be identified with a category of tensor functors from coherent sheaves on X to coherent sheaves on S. As an application, we show that if…

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…

We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

Let $F$ be a local or global field and let $G$ be a linear algebraic group over $F$. We study Tannakian categories of representations of the Kottwitz gerbes $\text{Rep}(\text{Kt}_{F})$ and the functor $G\mapsto B(F, G)$ defined by Kottwitz…

Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

For flat proper families of algebraic varieties with a smooth fiber, we describe the abelian category of coherent sheaves on the generic fiber as a Serre quotient. As an application, we prove specialization of derived equivalence. As…

We prove some analogues of Schur's lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero. Let $E$ be an extension of $A$ by $B$ in…

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 develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…

We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…

Let $X$ be a complete toric variety equipped with the action of a torus $T$ and $G$ a reductive algebraic group, defined over an algebraically closed field $K$. We introduce the notion of a compatible $\Sigma$--filtered algebra associated…

In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Cartesian differential category is based on a differential…

We prove that a category of degree zero vector bundles with "potentially strongly semistable reduction" on a p-adic curve is a neutral Tannakian category. We also make a first study of the corresponding affine group scheme. In particular,…

Fiber functors on Temperley-Lieb categories are investigated with the help of classification results on non-degenerate bilinear forms. The case of unitary fiber functors is also considered.

We explain how categories, and groupoids, can be seen as models for a Lawvere ${\mathfrak Gr}$-theory, where ${\mathfrak Gr}$ is the category of graphs, and show that for Lawvere ${\mathfrak Gr}$-theories finitely presentable models are…