Idempotence for relative monads
Category Theory
2025-09-10 v2
Abstract
We study the concept of idempotence for relative monads, which exhibits several subtleties not present for non-relative monads. In particular, there is a bifurcation of notions of idempotence in the relative setting, which are indistinguishable for idempotent monads. As a special case, we obtain several characterisations of idempotence for monads in extension form.
Cite
@article{arxiv.2508.17794,
title = {Idempotence for relative monads},
author = {Nathanael Arkor and Andrew Slattery},
journal= {arXiv preprint arXiv:2508.17794},
year = {2025}
}
Comments
10 pages