关于强分级单子的中心
On the Centre of Strong Graded Monads
LIPN, CNRS, Université Paris Nord（巴黎北大学）；École Normale Supérieure Paris-Saclay（巴黎萨克雷高等师范学院）；Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles（巴黎萨克雷大学）
AI总结：
本文提出强分级单子的中心概念，并探讨其与交换子单子及双分级单子的关系。
摘要：
我们引入了'中心'的概念，用于pomonoid-graded strong monads，这扩展了之前一些工作对非分级strong monads中心的描述。我们展示，当中心存在时，这会确定原单子的一个pomonoid-graded交换子单子。我们还讨论了这与duoidally-graded strong monads的关系。
英文摘要：
We introduce the notion of 'centre' for pomonoid-graded strong monads which generalizes some previous work that describes the centre of (not graded) strong monads. We show that, whenever the centre exists, this determines a pomonoid-graded commutative submonad of the original one. We also discuss how this relates to duoidally-graded strong monads.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
