Related papers: Constructing categorical idempotents
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
The Jones-Wenzl idempotents of the Temperley-Lieb algebra are celebrated elements defined over characteristic zero and for generic loop parameter. Given pointed field $(R, \delta)$, we extend the existing results of Burrull, Libedinsky and…
We construct special idempotents in $\mathrm{End}_{U_q(\mathfrak{sl}_2)}(M(\mu_1)\otimes\cdots \otimes M(\mu_n))$ like the Jones Wenzl projector where $M(\mu_i)$ is Verma module whose highest weight is $\mu_i$ and is complex number except…
To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant…
We construct special idempotents in $\mathrm{End}_{U_q(\mathfrak{sl}_2)}(M(\mu)\otimes V_1^{\otimes n})$ like the Jones Wenzl projector where $M(\mu)$ is Verma module whose highest weight is $\mu$ and $V_1$ is $2$-dimensional irreducible…
A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…
We describe a new method for constructing a weight structure $w$ on a triangulated category $C$. For a given $C$ and $w$ it allow us to give a fairly comprehensive (and new) description of those triangulated categories consisting of…
We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…
We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…
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 any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…
By studying a categorification of the antisymmetriser quasi-idempotent in the Hecke algebra, we derive a closed formula for the Jones-Wenzl idempotent in the Temperley-Lieb algebra. In particular, we show that when the idempotent is…
We explicitly describe a relationship between the Lie theoretic and topological categorification of the Jones-Wenzl projector The two categorifications appear in arXiv:1007.4680 and arXiv:1005.5117 respectively.
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
The theory of generalized inverses of matrices and operators is closely connected with projections, i.e., idempotent (bounded) linear transformations. We show that a similar situation occurs in any associative ring $\mathcal{R}$ with a unit…
We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct…