{"id":"arxiv/2610.41904","url":"https://arxiv.org/abs/2610.41904","tags":["math.CT"],"score":0,"title":"Lax-idempotent monads in homotopy theory","domain":"math.CT","source":"arxiv","authors":["Fernando Abellán","Thomas Blom"],"reviews":0,"subject":"math.CT","summary":"We extend the theory of lax-idempotent monads to the setting of $(\\infty,2)$-categories. In particular, we prove an analogue of Kock and Zöberlein's characterization of the category of algebras over a lax-idempotent monad. We then apply this theory to many examples that arise naturally in homotopy theory. For example, we show that $(\\infty,1)$-toposes are monadic over presentable $(\\infty,1)$-categories, with left adjoint given by the symmetric $(\\infty,1)$-topos. We also show that $\\infty$-operads are comonadic over symmetric monoidal $(\\infty,1)$-categories through the monoidal envelope…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}