Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences

arXiv2206.06858MaRDI QIDQ6506071FDOQ6506071

Authors: Nicola Gambino, Richard Garner, Christina Vasilakopoulou 

Abstract: We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it determines a normal oplax monoidal structure on the bicategory of coloured symmetric sequences. In order to do this, we establish general results on extending monoidal structures to Kleisli bicategories. Our approach uses monoidal double categories, which help us to attack the difficult problem of verifying the coherence conditions for a monoidal bicategory in an efficient way.

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Monoidal categories, symmetric monoidal categories (18M05) 2-categories, bicategories, double categories (18N10) Species, Hopf monoids, operads in combinatorics (18M80) 2-dimensional monad theory (18N15)

This page was built for publication: Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6506071)