Related papers: Presentations of diagram 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…
Colored planar rook algebra is a semigroup algebra in which the basis element has a diagrammatic description. The category of finite dimensional modules over this algebra is completely reducible and suitable functors are defined on this…
We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…
For the generation of acyclic biological diagrams, from a graph-theoretical perspective, we introduce the relative diagrams of cyclic permutations with ramphoid and keratoid vertices of degree 2, which correspond to Motzkin and Dyck…
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 continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be…
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a graphical calculus for bimonoidal categories that was informally…
We define non-pivotal analogs of the Temperley-Lieb, Motzkin, and planar rook monoids, and compute bounds for the sizes of their nontrivial simple representations. From this, we assess the two types of monoids in their relative suitability…
We introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bracket wires make the structure of the internal hom functor…
We develop a theory of tensor categories over a field endowed with abstract operators. Our notion of a "field with operators", coming from work of Moosa and Scanlon, includes the familiar cases of differential and difference fields,…
We work with a generalization of knot theory, in which one diagram is reachable from another via a finite sequence of moves if a fixed condition, regarding the existence of certain morphisms in an associated category, is satisfied for every…
We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin…
In the late 90s M. V. Nori constructed a category of motives in charakteristic 0. Using a directed graph with a representation into noetherian R-Modules, he defined a universal R-linear abelian category, called diagram category.The…
We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…
We introduce stability categories for diagram algebras---analogues to Randal-Williams and Wahl's homogeneous categories. We use these to study representation stability properties of the Temperley--Lieb algebras, the Brauer algebras, and the…
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural notions such as simulation, bisimulation, and…
In 2010, Tom Halverson and Georgia Benkart introduced the Motzkin algebra, a generalization of the Temperley-Lieb algebra, whose elements are diagrams that can be multiplied by stacking one on top of the other. Halverson and Benkart gave a…
We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.
We show that the category of Poisson manifolds and Poisson maps, the category of symplectic microgroupoids and lagrangian submicrogroupoids (as morphisms), and the category of monoids and monoid morphisms in the microsymplectic category are…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…