Related papers: Sigma limits in 2-categories and flat pseudofuncto…
Integrable string sigma models on AdS$_3$ backgrounds with 16 supersymmetries have the distinguishing feature that their superisometry group is a direct product. As a result the deformation theory of these models is particularly rich since…
We define a bicategory $\mathbf{2TDX}$ whose 1-cells provide a categorification of transducers, computational devices extending finite-state automata with output capabilities. This bicategory is a mathematically interesting object: its…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We show how to construct lattice sigma models in one, two and four dimensions which exhibit an exact fermionic symmetry. These models are discretized and {\it twisted} versions of conventional supersymmetric sigma models with N=2…
Inspired by recent work of Aslanyan and Daw, we introduce the notion of $\Sigma$-orbits in the general framework of distinguished categories. In the setting of connected Shimura varieties, this concept contains many instances of…
Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories,…
We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow equipments', and it is shown that the two…
We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…
We consider a two-dimensional sigma-model with discrete icosahedral/dodecahedral symmetry. We present high-precision finite-size numerical results that show that the continuum limit of this model is different from the continuum limit of the…
Hilbert bimodules are morphisms between C*-algebraic models of quantum systems, while symplectic dual pairs are morphisms between Poisson geometric models of classical systems. Both of these morphisms preserve representation-theoretic…
A set in the Euclidean plane is said to be biconvex if, for some angle $\theta\in[0,\pi/2)$, all its sections along straight lines with inclination angles $\theta$ and $\theta+\pi/2$ are convex sets (i.e, empty sets or segments).…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
We consider a bosonic $\s$--model coupled to two--dimensional gravity. In the semiclassical limit, $c\rightarrow -\infty$, we compute the gravity dressing of the $\b$--functions at two--loop order in the matter fields. We find that the…
In this paper we study three-dimensional orbifolds by 2-groups with a trivially-acting one-form symmetry group BK. These orbifolds have a global two-form symmetry, and so one expects that they decompose into (are equivalent to) a disjoint…
We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…
We present a framework to systematically investigate higher categorical symmetries in two-dimensional spin systems. Though exotic, such generalised symmetries have been shown to naturally arise as dual symmetries upon gauging invertible…
This study introduces a new unified structural framework for orbifold sigma models that incorporates twisted sectors, singularities, and smooth regions into a single algebraic object. Traditional approaches to orbifold theories often treat…
In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show…
The aim of this work is to provide formulae for the subdifferential and the conjungate function of the supremun function over an arbitrary family of functions. The work is principally motivated by the case when data functions are lower…
We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show…