Stone Duality for Monads

Richard Garner, Alyssa Renata, Nicolas Wu

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunct…