2024/03/10 by Zhenbang Zuo, G.R. Liu, Zuo, Zhenbang +1
Mathematics · #Rings, Modules, and Algebras #Advanced Topics in Algebra #Algebraic structures and combinatorial models
paper · pdf · doi:10.48550/arxiv.2403.06244
The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre quotient category of a multiring category (resp. a multitensor category) by a two-sided Serre tensor-ideal is still a multiring category (resp. a multitensor category). Besides, a two-sided Serre tensor-ideal of a tensor category is always trivial. This result can be generalized to any tensor product. If the canonical functor is a monoidal functor, then the corresponding Serre subcategory of the tensor category is trivial.