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.
Fields of Study & Subjects
Logic
programming
and type systems
Homotopy and Cohomology in Algebraic Topology
Advanced Algebra and Logic
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 10 February 2026
- Language
- EN
- Document type
- Preprint