English
Related papers

Related papers: Categorification of the Catalan monoid

200 papers

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

Category Theory · Mathematics 2024-08-28 Mateusz Stroiński

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

Category Theory · Mathematics 2024-05-28 Pieter Hofstra , Martti Karvonen

Let $G$ be a semisimple simply-connected algebraic group over an algebraically closed field of characteristic zero. We prove that the affine Hecke category associated to the loop group of $G$ is equivalent to the colimit, evaluated in the…

Representation Theory · Mathematics 2021-03-31 James Tao , Roman Travkin

In this paper, we contribute to the broad aim of relating invariants of additive and monoidal categorifications of cluster algebras. Specifically, in the setting of representations of a quantum affine algebra $U_q'(\mathfrak{g})$,…

Representation Theory · Mathematics 2026-05-08 Ricardo Canesin , Peigen Cao , Geoffrey Janssens

In the previous papers we found a direct method to confirm, for any square matrix, if it is associated to any categories or not. According to this method, the matrix 2 (all coefficients are 2) of a given order, admits associated categories.…

Category Theory · Mathematics 2012-05-25 Samer Allouch

For a quasi-split tamely connected reductive group G over a p-adic field, we prove that its (monodromic) affine Hecke category is canonically equivalent to its equal characteristic counterpart as monoidal categories.

Representation Theory · Mathematics 2025-11-14 Zhiwei Yun , Xinwen Zhu

Let $G$ be a connected reductive group defined over a finite field $\mathbb{F}_q$ of characteristic $p$, with Deligne--Lusztig dual $G^\ast$. We show that, over $\overline{\mathbb{Z}}[1/pM]$ where $M$ is the product of all bad primes for…

Representation Theory · Mathematics 2023-08-23 Tzu-Jan Li , Jack Shotton

We develop Morita theory for finitary additive 2-representations of finitary 2-categories. As an application we describe Morita equivalence classes for 2-categories of projective functors associated to finite dimensional algebras and for…

Representation Theory · Mathematics 2017-05-10 Volodymyr Mazorchuk , Vanessa Miemietz

We construct a pseudo-localization of the 2-category of combinatorial Quillen model categories with respect to Quillen equivalences, and then verify that it embeds in a 2-category of Grothendieck derivators.

Algebraic Topology · Mathematics 2007-05-23 Olivier Renaudin

We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted first order framework. The analysis hinges on the fact that…

Logic · Mathematics 2022-03-14 Deacon Linkhorn

We study finitary 2-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type A) we show that the monoid…

Representation Theory · Mathematics 2017-05-10 Anna-Louise Grensing , Volodymyr Mazorchuk

We provide an abstract categorical framework that relates the Cuntz semigroups of the C$^*$-algebras $A$ and $A\otimes \mathcal{K}$. This is done through a certain completion of ordered monoids by adding suprema of countable ascending…

Operator Algebras · Mathematics 2010-03-16 Ramon Antoine , Joan Bosa , Francesc Perera

We categorify Lusztig's version of the quantized enveloping algebra for sl(2). Using a graphical calculus a 2-category is constructed whose split Grothendieck ring is isomorphic to Lusztig's algebra. The indecomposable morphisms of this…

Quantum Algebra · Mathematics 2010-10-22 Aaron D. Lauda

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

Representation Theory · Mathematics 2014-10-24 Anthony Licata , Alistair Savage

Let $K$ be field of characteristic 2 and let $G$ be a finite non-abelian 2-group with the cyclic derived subgroup $G'$, and there exists a central element $z$ of order 2 in $Z(G) \backslash G'$. We prove that the unit group of the group…

Rings and Algebras · Mathematics 2008-01-03 Alexander Konovalov

Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…

Category Theory · Mathematics 2024-04-02 Redi Haderi , Walker H. Stern

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

Category Theory · Mathematics 2026-03-02 Ismael Gutierrez Garcia , Luz Adriana Mejía Castaño

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

Category Theory · Mathematics 2015-11-02 Hideto Asashiba

By a 2-ring we mean a groupoid with a structure analogous to that of a ring, up to coherent isomorphisms. Two different notions of 2-ring appear in the literature: the notion of {\em Ann-category}, due to Quang, and the notion of {\em…

Category Theory · Mathematics 2026-04-14 Josep Elgueta

There are two abelian groups which can naturally be associated to an additive category A: the split Grothendieck group of A and the triangulated Grothendieck group of the homotopy category of (bounded) complexes in A. We prove that these…

Category Theory · Mathematics 2011-09-12 David E. V. Rose