English
Related papers

Related papers: Tannaka duality for comonoids in cosmoi

200 papers

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…

Algebraic Geometry · Mathematics 2007-05-23 Jacob Lurie

We reprove the classical Tannaka-Krein reconstruction theorem by finding a monoidal equivalence of categories between a 1-truncated sub-2-category of the slice 2-category ${\sf Mod}({\sf Vec})/{\sf Vec}$ and the category of algebras. We…

Category Theory · Mathematics 2023-09-12 David Green

We show that every modular category is equivalent as an additive ribbon category to the category of finite-dimensional comodules of a Weak Hopf Algebra. This Weak Hopf Algebra is finite-dimensional, split cosemisimple, weakly…

Quantum Algebra · Mathematics 2009-05-10 Hendryk Pfeiffer

The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…

Category Theory · Mathematics 2015-07-20 Martín Szyld

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…

Representation Theory · Mathematics 2010-11-03 Michael Crumley

We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain.

Category Theory · Mathematics 2009-07-21 Brian J. Day , Craig A. Pastro

In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…

Category Theory · Mathematics 2016-09-13 Mostafa Einollahzadeh , Amir Jafari

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…

Category Theory · Mathematics 2022-05-04 Brice Le Grignou

We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…

Differential Geometry · Mathematics 2025-12-01 Stefano Ronchi , Chenchang Zhu

We develop the Tannaka-Krein duality for monoidal functors with target in the categories of bimodules over a ring. The $\coend$ of such a functor turns out to be a Hopf algebroid over this ring. Using the result of a previous paper we…

Quantum Algebra · Mathematics 2019-05-20 Phung Ho Hai

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…

Algebraic Geometry · Mathematics 2025-08-06 Joost Nuiten , Bertrand Toen

We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…

Quantum Algebra · Mathematics 2007-05-23 Julien Bichon

In this paper we introduce a generalization of the Nakayama functor for finite-dimensional algebras. This is obtained by abstracting its interaction with the forgetful functor to vector spaces. In particular, we characterize the Nakayama…

Category Theory · Mathematics 2019-07-22 Sondre Kvamme

In a series of papers, we have shown that from the representatio theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study continuous…

Operator Algebras · Mathematics 2007-05-23 Massoud Amini

Settling a conjecture from an earlier paper, we prove that the monoid $\mathrm{M}(n,k)$ of $n \times n$ matrices in a field $k$ of characteristic zero is the "walking monoid with an $n$-dimensional representation". More precisely, if we…

Representation Theory · Mathematics 2025-04-07 John C. Baez , Todd Trimble

Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we…

Number Theory · Mathematics 2026-05-27 Chun-Yin Hui , Wonwoong Lee

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…

Programming Languages · Computer Science 2015-02-05 Mauro Jaskelioff , Russell O'Connor

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

Algebraic Geometry · Mathematics 2018-05-10 Daniel Schäppi

We prove a Tannaka duality statement for geometric stacks in the setting of analytic stacks modelled on globally finitely presented Stein spaces. The key ingredient is the theory of liquid vector spaces and liquid quasicoherent sheaves of…

Algebraic Geometry · Mathematics 2025-12-03 Waleed Qaisar , Gregory Taroyan

Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…

Category Theory · Mathematics 2011-11-28 Thomas Booker , Ross Street