A Category of Multiplier Bimonoids

Abstract

The central object studied in this paper is a multiplier bimonoid in a braided monoidal category $\mathcal {C}$, introduced and studied in Böhm and Lack (J. Algebra 423, 853–889 2015). Adapting the philosophy in Janssen and Vercruysse (J. Algebra Appl. 9(2), 275–303 2010), and making some mild assumptions on the category $\mathcal {C}$, we introduce a category $\mathcal {M}$ whose objects are certain semigroups in $\mathcal {C}$ and whose morphisms A→B can be regarded as suitable multiplicative morphisms from A to the multiplier monoid of B. We equip this category $\mathcal {M}$ with a monoidal structure and describe multiplier bimonoids in $\mathcal {C}$ (whose structure morphisms belong to a distinguished class of regular epimorphisms) as certain comonoids in $\mathcal {M}$. This provides us with one possible notion of morphism between such multiplier bimonoids.