Related papers: Quotient Category of a Multiring Category

There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non…

We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3…

We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

A finite pre-tensor category is a finite abelian category equipped with a right exact tensor product for which every projective object has duals. Finite tensor categories, for which every object has duals, are notable examples. More…

Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a…

We detail a construction of a symmetric monoidal structure, called the reduced tensor product on the 2-category of braided tensor categories $\mathbf{BTC}(\mathcal{A})$ containing a fixed symmetric fusion subcategory $\mathcal{A}$. The…

This is the first part in a series of papers developing a tensor product theory for modules for a vertex operator algebra. The goal of this theory is to construct a ``vertex tensor category'' structure on the category of modules for a…

Category theoretic aspects of non-rational conformal field theories are discussed. We consider the case that the category C of chiral sectors is a finite tensor category, i.e. a rigid monoidal category whose class of objects has certain…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

In this work, we analyze the structure of the category of partial representations of a finite group $G$ as a multifusion category, providing an alternative way to describe simple objects and their tensor products. We describe the…

Let A be an abelian hereditary category with Serre duality. We provide a classification of such categories up to derived equivalence under the additional condition that the Grothendieck group modulo the radical of the Euler form is a free…

We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we…

For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

We define the twisted tensor product of two enriched categories, which generalizes various sorts of `products' of algebraic structures, including the bicrossed product of groups, the twisted tensor product of (co)algebras and the double…

We discuss the folklore construction of the Gray tensor product of 2-categories as obtained by factoring the map from the funny tensor product to the cartesian product. We show that this factorisation can be obtained without using a…

We follow the work of Aguiar on internal categories and introduce simplicial objects internal to a monoidal category as certain colax monoidal functors. Then we compare three approaches to equipping them with a discrete set of vertices. We…

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…