{"id":"arxiv/2603.25710","url":"https://arxiv.org/abs/2603.25710","tags":["cs.LO","cs.PL","math.CT"],"score":0,"title":"Stone Duality for Monads","domain":"cs.LO","source":"arxiv","authors":["Richard Garner","Alyssa Renata","Nicolas Wu"],"reviews":0,"subject":"cs.LO","summary":"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 retrofunctors in the category of locales. The left adjoint takes a monad $T$-viewed as a notion of computation, following Moggi-to its localic behaviour category $\\mathsf{LB}T$. This behaviour category is understood as \"the universal transition system\" for interacting with $T$: its \"objects\" are states and the \"morphisms\" are transitions. On the other hand, the right adjoint takes a localic category $\\mathsf{LC}$-similarly…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-26","reactions":{}}