On the Centre of Strong Graded Monads

Abstract

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.

arXiv commentarXiv admin note: text overlap with arXiv:2406.07216 by other authors