Related papers: A cubical model for a fibration
We develop the representation theory of shifted quantum affine algebras $\mathcal{U}_q^\mu(\hat{\mathfrak{g}})$ and of their truncations which appeared in the study of quantized K-theoretic Coulomb branches of 3d $N = 4$ SUSY quiver gauge…
We introduce a definition of braided tensor product $\operatorname{M}\overline{\boxtimes}\operatorname{N}$ of von Neumann algebras equipped with an action of a quasi-triangular quantum group $\mathbb{G}$ (this includes the case when…
We compute explicitly a star product on the Minkowski space whose Poisson bracket is quadratic. This star product corresponds to a deformation of the conformal spacetime, whose big cell is the Minkowski spacetime. The description of…
In this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT). The result -- cubical modal type theory…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
Cubical type theories are designed around an abstract unit interval from which types of paths, used to represent equalities, are defined. Varying the operations available on this interval yields different type theories. A reversal is an…
In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda…
We introduce a new algebraic framework to describe gravitational scrambling, including the semiclassical limit of any out-of-time-order correlation function that is built out of operator insertions separated by approximately the scrambling…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…
We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…
We describe the construction of trigonometric R-matrices corresponding to the (multiplicity-free) tensor product of any two irreducible representations of a quantum algebra $U_q(\G)$. Our method is a generalization of the tensor product…
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate the use of coalgebra as an alternative framework. On the one hand, coalgebras allow the dynamics of repeated measurement to be captured, and…
It has been proven that the lozenge tilings of a quartered hexagon on the triangular lattice are enumerated by a simple product formula. In this paper we give a new proof for the tiling formula by using Kuo's graphical condensation. Our…
Random matrix models have been extensively studied in mathematical physics and have proven useful in combinatorics. In this review paper we introduce a generalization of these models to a class of tensor models. As the topology and…
This paper is concerned with the study of the dimension theory of tensor products of algebras over a field $k$. We answer an open problem set in [6] and compute dim$(A\otimes_kB)$ when $A$ is a $k$-algebra arising from a specific pullback…
We give a functorial definition of $G$-gerbes over a simplicial complex when the local symmetry group $G$ is non-Abelian. These combinatorial gerbes are naturally endowed with a connective structure and a curving. This allows us to define a…
Semi-simplicial and semi-cubical sets are commonly defined as presheaves over respectively, the semi-simplex or semi-cube category. Homotopy Type Theory then popularized an alternative definition, where the set of n-simplices or n-cubes are…
We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric…
We derive integral formulas that simplify the Vector Spherical Tensor Product recently introduced by Xie et al., which generalizes the Gaunt tensor product to antisymmetric couplings. In particular, we obtain explicit closed-form…
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…