论文标题
单kleisli bicategories和彩色对称序列的算术产物
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
论文作者
论文摘要
我们将Maia和Mendez以及Dwyer和Hess研究的结构物种和对称序列的算术产物扩展到有色的对称序列，并表明它确定了有色对称序列的BICATEGORY上的正常Oplax单体结构。为了做到这一点，我们建立了将单体结构扩展到Kleisli BicateGories的一般结果。我们的方法使用单类双类，这有助于我们攻击以有效的方式验证单型生物学的相干条件的困难问题。
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.
