Related papers: Generalized diagram categories and monoids, and th…

Let $(W,S)$ be an affine Coxeter system of type $\widetilde{B}$ or $\widetilde{D}$ and ${\rm TL}(W)$ the corresponding generalized Temperley-Lieb algebra. In this paper we define an infinite dimensional associative algebra made of decorated…

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are…

We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…

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…

Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent in terms of the monoidal…

We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

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…

We introduce two 2-categories which categorify the monodromic Hecke algebra. The first is algebraic in nature and generalizes Abe's theory of Soergel bimodules. The second is a diagrammatic category defined via generators and relations…

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

We introduce a ramified monoid, attached to each Brauer--type monoid, that is, to the symmetric group, to the Jones and Brauer monoids among others. Ramified monoids correspond to a class of tied monoids which arise from knot theory and are…

We define an infinite chain of subcategories of the partition category by introducing the left-height ($l$) of a partition. For the Brauer case, the chain starts with the Temperley-Lieb ($l=-1$) and ends with the Brauer ($l=\infty$)…

Properties of morphisms represented by so-called 'string diagrams' of monoidal categories (and their braided and symmetric derivatives), mainly their resistance in value to isotopic deformation, have made the usage of graphical calculi…

Monoids and groupoids are examples of poloids. On the one hand, poloids can be regarded as one-sorted categories; on the other hand, poloids can be represented by partial magmas of partial transformations. In this article, poloids are…

We give two presentations for bordisms of $S^2$ in the 3-dimensional oriented bordism category $\operatorname{Cob}(3) $, encoding the algebraic structures on $S^2$. After passing through topological field theories, we define two kinds of…

In this paper we present a categorical version of the first and second fundamental theorems of the invariant theory for the quantized symplectic groups. Our methods depend on the theory of braided strict monoidal categories which are…

In this extended note we give a precise definition of fully extended topological field theories \`a la Lurie. Using complete $n$-fold Segal spaces as a model, we construct an $(\infty,n)$-category of $n$-dimensional cobordisms, possibly…

In this paper we present the construction of a skeletal diagram category, which we call the square with bands category. This category extends the Temperley-Lieb (TL) category, where morphisms now include diagrams of embedded curves on…

Young diagrams are ubiquitous in combinatorics and representation theory. Here we explain these diagrams, focusing on how they are used to classify representations of the symmetric groups $S_n$ and various "classical groups": famous groups…