Related papers: Constructing categorical idempotents
We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles…
The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequalizers, and exponentials) in some useful and basic categories:…
Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…
Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…
We introduce a quotient of the affine Temperley-Lieb category that encodes all weight-preserving linear maps between finite-dimensional sl(2)-representations. We study the diagrammatic idempotents that correspond to projections onto…
We explain how to compute idempotents that correspond to the indecomposable objects in the Hecke category. Closed formulas are provided for some common coefficients that appear in these idempotents. We also explain how to compute…
We study the class of idempotent-generated pseudo-composition algebras, which is a subclass of the family of axial algebras. More specifically, we utilise the group-algebra correspondence, natural to the axial framework in order to study…
We construct complexes $P_{1^n}$ of Soergel bimodules which categorify the Young idempotents corresponding to one-column partitions. A beautiful recent conjecture of Gorsky-Rasmussen relates the Hochschild homology of categorified Young…
Given a positively graded commutative coherent ring A which is finitely generated as an A_0-algebra, a bijection between the tensor Serre subcategories of qgr A and the set of all subsets Y\subseteq Proj A of the form…
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each…
We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…
We introduce new Elmendorf constructions for equivariant categories and posets, and we prove that they are compatible with the classical topological one. Our constructions are more concrete than their model-categorical counterparts, and…
Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…
For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in…
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…
We study special idempotents (as described by Bushnell and Kutzko) and split idempotents in the context of module and derived categories for idempotented algebras. We then characterize these concepts for path algebras of quivers.
We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…
We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
We classify the pivotal structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. As a consequence, every pivotal structure of $\mathcal{Z}(\mathcal{C})$ can be obtained from a pair $(\beta, j)$…