Related papers: Constructing categorical idempotents
An important goal in studying the relations between unitary VOAs and conformal nets is to prove the equivalence of their ribbon categories. In this article, we prove this conjecture for many familiar examples. Our main idea is to construct…
We describe algebraically, diagrammatically and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak{sl}_2$ to a coideal subalgebra. We realise the category as module category…
We generalise classical reconstruction results in algebra, using the language of monads, monoidal categories, module categories, as well as various notions of duality, such as closedness, Grothendieck--Verdier duality (also known as…
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summation from algebraic program semantics with various notions of…
We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $\Gamma$-spaces.
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…
The Jones-Wenzl idempotents are elements of the Temperley-Lieb planar algebra that are important, but complicated to write down. We will present a new planar algebra, the pop-switch planar algebra, which contains the Temperley-Lieb planar…
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…
We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $\omega$-groupoids. Most of the development is folklore, but for a few results the author is…
In category theory circles it is well-known that the Schreier theory of group extensions can be understood in terms of the Grothendieck construction on indexed categories. However, it is seldom discussed how this relates to extensions of…
In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal,…
In arXiv:2209.06121, they defined a general plus construction for monoidal categories and showed that if the monoidal category is a unique factorization category, then the plus construction yields a Feynman category. In this paper, we will…
The consistent systems of idempotents of Meyer and Solleveld allow to construct Serre subcategories of $Rep_R(G)$, the category of smooth representations of a $p$-adic group $G$ with coefficients in $R$. In particular, they were used to…
We construct generalized multicategories associated to an arbitrary operad in Cat that is $\Sigma$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is…
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…
We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the…
We show that a categorical action of shifted 0-affine algebra naturally gives two families of pairs of complementary idempotents in the triangulated monoidal category of triangulated endofunctors for each weight category. Consequently, we…