Related papers: On webs in quantum type $C$
We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation ($U$) of a finite group ($G$), whenever $U \otimes U^c$ is simply reducible (with…
We introduce the notion of a field of covariances, a contravariant functor from non-commutative probability spaces to Hilbert spaces, as the natural categorical analogue of statistical covariance. In the case of finite-dimensional…
In these notes we describe models of globular weak $(\infty,m)$-categories ($m\in\mathbb{N}$) in the Grothendieck style, i.e for each $m\in\mathbb{N}$ we define a globular coherator $\Theta^{\infty}_{\mathbb{M}^m}$ whose set-models are…
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…
We define a ribbon category $\mathsf{Sp}(\beta)$, depending on a parameter $\beta$, which encompasses Cautis, Kamnitzer and Morrison's spider category, and describes for $\beta=m-n$ the monoidal category of representations of…
Six-dimensional (2, 0) theory can be defined on a large class of six-manifolds endowed with some additional topological and geometric data (i.e. an orientation, a spin structure, a conformal structure, and an R-symmetry bundle with…
An invariant characterization of the rotationally symmetric R-separable webs for the Laplace equation in Euclidean space is given in terms of invariants and covariants of a real binary quartic canonically associated to the characteristic…
We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_\lambda$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our…
This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We…
We develop an equivariant theory of graphs with respect to quantum symmetries and present a detailed exposition of various examples. We portray unitary tensor categories as a unifying framework encompassing all finite classical simple…
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…
We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and…
We define the notion of a (P,P-tilde)-structure on a universe p in a locally cartesian closed category category C with a binary product structure and construct a (Pi,lambda)-structure on the C-systems CC(C,p) from a (P,P-tilde)-structure on…
We introduce the category $\mathsf{NCP}$, whose objects are pairs of W$^\ast$-algebras and normal states and whose morphisms are state-preserving unital completely positive (CPU) maps, as a common stage for classical and quantum information…
We provide a systematic classification of multiparticle entanglement in terms of equivalence classes of states under stochastic local operations and classical communication (SLOCC). We show that such an SLOCC equivalency class of states is…
In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories…
It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…
For any d-web by curves in an ambiant n-dimensional manifold, we define a tautological connection on some associated bundle, whose curvature vanishes iff the web has a maximal (n-1)-rank. As an application we recover, with the help of a…
Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on…
We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this…