Related papers: Monoidal categories, representation gap and crypto…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on…
We define a diagrammatic monoidal category, together with a full and essentially surjective monoidal functor from this category to the category of modules over the exceptional Lie algebra of type $F_4$. In this way, we obtain a set of…
In this paper we study the representation theory of the algebras generated by the single bond transfer matrices in dilute lattice models. This representation theory is related to a tensor product of monoidal categories. This construction is…
In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and…
This is the first in a series of papers in which we study representations of the Brauer category and its allies. We define a general notion of triangular category that abstracts key properties of the triangular decomposition of a semisimple…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…
We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne…
The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show…
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…
The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state…
We discuss the category $\cal I$ of level zero integrable representations of loop algebras and their generalizations. The category is not semisimple and so one is interested in its homological properties. We begin by looking at some…
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in…
Here a loop braid representation is a monoidal functor $\mathsf{F}$ from the loop braid category $\mathsf{L}$ to a suitable target category, and is $N$-charge-conserving if that target is the category $\mathsf{Match}^N$ of charge-conserving…
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…
We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented)…
We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result…
We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…
In the literature, one finds several competing notions for the super (i.e., Z/2-graded) analog of a monoidal category. The goal of this paper is to clarify these definitions and the connections between them. We also discuss in detail the…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…