Related papers: Fusion categories via string diagrams
Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories,…
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…
It has long been argued that higher categories provide the proper algebraic structure underlying state sum invariants of 4-manifolds. This idea has been refined recently, by proposing to use 2-groups and their representations as specific…
We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is…
We consider a string dual of a partially topological $U(N)$ Chern-Simons-matter (PTCSM) theory recently introduced by Aganagic, Costello, McNamara and Vafa. In this theory, fundamental matter fields are coupled to the Chern-Simons theory in…
Arone and the second author showed that when the dimensions are in the stable range, the rational homology and homotopy of the high dimensional anologues of spaces of long knots can be calculated as the homology of a direct sum of finite…
The goal of this paper is to study the Pontrjagin dual of (reduced) 4-dimensional Spin bordism. That is to say, we consider the functor from the category of topological spaces to the category of compact abelian groups that associates to…
Quaternionic and octonionic realizations of Clifford algebras and spinors are classified and explicitly constructed in terms of recursive formulas. The most general free dynamics in arbitrary signature space-times for both quaternionic and…
Monoidal algebraic structures consist of operations that can have multiple outputs as well as multiple inputs, which have applications in many areas including categorical algebra, programming language semantics, representation theory,…
Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…
This is mainly a brief review of some key achievements in a `hot'' area of theoretical and mathematical physics. The principal aim is to outline the basic structures underlying {\em integrable} quantum field theory models with {\em…
We introduce the notion of "binary" positive and complex geometries, giving a completely rigid geometric realization of the combinatorics of generalized associahedra attached to any Dynkin diagram. We also define open and closed "cluster…
We develop methods of computation of the Brauer-Picard groups of fusion categories and apply them to compute such groups for several classes of fusion categories of prime power dimension: representation categories of elementary abelian…
We functorially identify similarity classes of line-bundle-valued quadratic forms on rank two vector bundles with isomorphism classes of pairs consisting of the degree zero and the degree one parts of the associated generalized Clifford…
A general method is described for finding algebraic expressions for matrix elements of any one- and two-particle operator for an arbitrary number of subshells in an atomic configuration, requiring neither coefficients of fractional…
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,…
The Kuperberg Program asks to find presentations of planar algebras and use these presentations to prove results about their corresponding categories purely diagrammatically. This program has been completed for index less than 4 and is…
We define a coherent adjunction in a strict $3$-category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.
We introduce a novel framework consisting of a class of algebraic structures that generalize one-dimensional monoidal systems into higher dimensions by defining per-axis composition operators subject to non-commutativity and a global…
We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light…