arXiv subjects

Zhenbang Zuo

Publications and source records attributed to Zhenbang Zuo.

4 recordsLinked to original sources

arXiv2026

On the semi-abelianness of cocommutative Hopf monoids

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once faithful (co)flatness conditions are satisfied. This result unifies and generalizes the semi-abelianness of cocommutative Hopf algebras and of cocommutative color Hopf algebras known up to now. As a consequence of the semi-abelianness, the category of cocommutative Hopf monoids is also action representable. Finally, we prove that abelian objects in the category of cocommutative Hopf monoids coincide exactly with commutative and cocommutative Hopf monoids, which form so an abelian category.

math.CT↗

arXiv2026

Equivalent definitions of fusion category arising from separability

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative). This induces a list of equivalent definitions of fusion category. As an application, we describe the connectness of a class of weak Hopf algebras by the separability of tensor functors. We also consider applications to transfer of simplicity between the unit objects, semisimple indecomposable module category and Grothendieck ring.

math.CT↗

arXiv2026

Semiseparability of induction functors in a monoidal category

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove that the semiseparability of the induction functor is preserved if one applies a lax monoidal functor. Similar results are shown for the coinduction functors attached to coalgebra morphisms in a monoidal category. As an application, we study the semiseparability of combinations of (co)induction functors in the context of duoidal categories.

math.CT↗

arXiv2024

Quotient Category of a Multiring Category

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.

math.CT↗