相关论文: Rewriting in higher dimensional linear categories …

We introduce the marked Brauer algebra and the marked Brauer category. These generalize the analogous constructions for the ordinary Brauer algebra to the setting of a homogeneous bilinear form on a $\mathbb{Z}_2$-graded vector space. We…

This paper is a sequel to arXiv:1401.6321. We define and study representation categories based on Deligne categories Rep(GL_t), Rep(O_t), Rep(Sp_2t), where t is any (non-integer) complex number. Namely, we define complex rank analogs of the…

Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this result, he constructed finitely presentable monoids with a…

We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics,…

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…

String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the modelling of various computational structures, in fields as…

We give an interpretation of the Brauer group of a purely inseparable extension of exponent 1, in terms of restricted Lie-Rinehart cohomology. In particular, we define and study the category $p$-$\rm{LR}(A)$ of restricted Lie-Rinehart…

Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and the Ambient calculus. This paper is only concerned with…

In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…

Multiparticle production in (2+1) dimensions is investigated. We show that in a small region around the threshold the perturbation theory becomes unapplicable due to infrared divergencies in a class of Feynman graphs with rescattering in…

Given a family of abelian covers of $\mathbb{P}^1$ and a prime $p$ of good reduction, by considering the associated Deligne--Mostow Shimura variety, we obtain lower bounds for the Ekedahl-Oort type, and the Newton polygon, at $p$ of the…

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…

Tape diagrams provide a convenient notation for arrows of rig categories, i.e., categories equipped with two monoidal products, $\oplus$ and $\otimes$, where $\otimes$ distributes over $\oplus $. In this work, we extend tape diagrams with…

We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix…

We define for each $n \geq 1$ a symmetric monoidal $(\infty, n+1)$-category $n\mathrm{Pr}^L$ whose objects we call presentable $(\infty,n)$-categories, generalizing the usual theory of presentable $(\infty,1)$-categories. We show that each…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

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…

We introduce string diagrams for graded symmetric monoidal categories. Our approach includes a definition of graded monoidal theory and the corresponding freely generated syntactic category. Also, we show how an axiomatic presentation for…