Related papers: Tannaka duality for comonoids in cosmoi
The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…
This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…
Making use of a recent result of Borchers, an algebraic version of the Bisognano-Wichmann theorem is given for conformal quantum field theories, i.e. the Tomita-Takesaki modular group associated with the von Neumann algebra of a wedge…
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 compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…
We show that single-variable polynomial functors over the category $\mathcal{S}$ of infinity groupoids, as defined by Gepner-Haugseng-Kock, are exactly colimits of representable copresheaves indexed by infinity groupoid. This allows us to…
We define locally wide finitary 2-categories by relaxing the definition of finitary 2-categories to allow infinitely many objects and isomorphism classes of 1-morphisms and infinite dimensional hom-spaces of 2-morphisms. After defining…
Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…
The aim of this paper is to establish a duality between the category of discrete groupoids and the category of geometrically transitive commutative Hopf algebroids in the sense of P. Deligne and A. Brugui\`eres. In one direction we have the…
The main objective of the present paper is to present a version of the Tannaka-Krein type reconstruction Theorems: If $F:B\to C$ is an exact faithful monoidal functor of tensor categories, one would like to realize $B$ as category of…
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…
A natural question in the theory of Tannakian categories is: What if you don't remember $\Forget$? Working over an arbitrary commutative ring $R$, we prove that an answer to this question is given by the functor represented by the \'etale…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
We establish a number of results which say, roughly, that interpretation functors preserve algebraic complexity. First we show that representation embeddings between categories of modules of finite-dimensional algebras induce embeddings of…
We show that the left regular representation \pi_l of a discrete quantum group (A,\Delta) has the absorbing property and forms a monoid (\pi_l,\tilde{m},\tilde{\eta}) in the representation category Rep(A,\Delta). Next we show that an…
Plonka sums consist of an algebraic construction similar, in some sense to direct limits, which allows to represent classes of algebras defined by means of regular identities (namely those equations where the same set of variables appears…
This paper uses monads and comonads to establish a certain type of equivalence between two subcategories, one reflective and one coreflective, in a category whose objects represent compactifications of non-compact locally compact Hausdorff…
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 a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…