Duoidal categories, measuring comonoids and enrichment
arXiv (Cornell University)(2020)
摘要
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with an enrichment in the category of comonoids. The enriched homs are provided by the universal measuring comonoids. We study a number of duoidal structures on categories of graded objects and of species and the associated enriched categories, such as an enrichment of graded (twisted) monoids in graded (twisted) comonoids, as well as two enrichments of symmetric operads in symmetric cooperads.
更多查看译文
关键词
duoidal categories,comonoids,enrichment
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要