相关论文: A Double Categorical View on Representations of Et…

We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…

We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way.…

We prove a conjecture by Lusztig, which describes the tensor categories of perverse sheaves on affine flag manifolds, with tensor structure provided by truncated convolution, in terms of the Langlands dual group. We also give a geometric…

We present novel equivalences in random matrix and tensor models between complex and self-adjoint theories with nontrivial quadratic terms in the action, established through an intermediate field representation. More precisely, we show that…

In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of…

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying…

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

We show that the category of principal ordered face structures is equivalent to the category of multitopes. We show that the category of principal ordered face structures is equivalent to the category of multitopes. On the way we introduce…

Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…

Level-rank duality relates the observables of two different Chern-Simons theories in which the roles of the Chern-Simons level and the rank of the gauge group are exchanged. In this note, we explore the consequences of this duality in the…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph…

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…

We investigate finite right-distributive binary algebraic structures called shelves. We first use symbolic computations with Python to classify (up to isomorphism) all connected shelves with order less than six. We explore the group…

In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double…

The concept of a morphism determined by an object provides a method to construct or classify morphisms in a fixed category. We show that this works particularly well for triangulated categories having Serre duality. Another application of…

Two Lie algebroids are presented that are linked to the construction of the linearizing output of an affine in the input nonlinear system. The algorithmic construction of the linearizing output proceeds inductively, and each stage has two…

We describe a 2-dimensional analogue of track categories, called two-track categories, and show that it can be used to model categories enriched in 2-type mapping spaces. We also define a Baues-Wirsching type cohomology theory for track…

To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…