Related papers: Presentations of diagram categories

We introduce the notion of meromorphic tensor category and illustrate it in several examples. They include representations of quantum affine algebras, chiral algebras of Beilinson and Drinfeld, G-vertex algebras of Borcherds, and…

We show how decreasing diagrams introduced in the theory of rewriting systems can be used to prove coherence type theorems in category theory. We apply this method to describe a coherent presentation of the $0$-Hecke monoid…

We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar…

We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if they were strict, inferring MacLane isomorphims…

In this paper we construct the category of birational spaces as the category in which Temkin's relative Riemann-Zariski spaces are naturally included. Furthermore we develop an analogue of Raynaud's theory. We prove that the category of…

We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and…

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…

Coxeter and Dynkin diagrams classify a wide variety of structures, most notably finite reflection groups, lattices having such groups as symmetries, compact simple Lie groups and complex simple Lie algebras. The simply laced or "ADE" Dynkin…

A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a…

We describe various diagram algebras and their representation theory using cellular algebras of Graham and Lehrer and the decomposition into half diagrams. In particular, we show the diagram algebras surveyed here are all cellular algebras…

In this paper, we give a characterization of the class of all circular-arc graphs whose schemes are association. Moreover, all association schemes which are the scheme of a circular-arc graph are characterized, specially it is proved that…

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

We study a construction of diagrams of dualizable presentable stable $\infty$-categories associated with certain fiber-cofiber sequences over rigid bases, which are sent by localizing invariants, in particular continuous K-theory, to limit…

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…

Using Mackey functors, we provide a general framework for classifying torsors of algebraic tori in terms of Brauer groups of finite field extensions of the base field. This generalizes Blunk's description of the tori associated to del Pezzo…

In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…

We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.

We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams.

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying…