Related papers: Projective and anomalous representations of catego…

The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

We establish the notion of a ``projective analytic vector'', whose defining requirements are weaker than the usual ones of an analytic vector, and use it to prove generation theorems for one-parameter groups on locally convex spaces. More…

We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of…

$Vect(N)$, the algebra of vector fields in $N$ dimensions, is studied. Some aspects of local differential geometry are formulated as $Vect(N)$ representation theory. There is a new class of modules, {\it conformal fields}, whose…

From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…

Matching 't Hooft anomalies is a powerful tool for constraining the low-energy dynamics of quantum systems and their allowed renormalization group (RG) flows. For non-invertible (or categorical) symmetries, however, a key challenge has been…

If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…

A central extension is a regular epimorphism in a Barr exact category $\mathscr{C}$ satisfying suitable conditions involving a given Birkhoff subcategory of $\mathscr{C}$ (joint work with G. M. Kelly, 1994). In this paper we take…

We introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra $\mathfrak g$. These are sheaves on locally closed subvarieties of the…

We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…

We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives,…

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

We study linear and hermitian representations of finite $C_2$-graded groups. We prove that the category of linear representations is equivalent to a category of antilinear representations as an $\infty$-category. We also prove that the…

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…

We present pictorial means of distinguishing contravariant vectors (or simply vectors) from covariant vectors (or linear forms). When one depicts vector as the directed segment, then the pictorial image of a linear form is a family of…

In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…