{"id":"arxiv/2611.01654","url":"https://arxiv.org/abs/2611.01654","tags":["math.CT","math.AG"],"score":0,"title":"Absolute descent and the Bénabou--Roubaud theorem","domain":"math.CT","source":"arxiv","authors":["Fernando Lucatelli Nunes"],"reviews":0,"subject":"math.CT","summary":"We continue the programme developed in Pseudo-Kan extensions and descent theory by studying descent for augmented pseudocosimplicial objects. Let $\\mathcal H$ be a $2$-category, and let $\\operatorname{suc}=\\mathsf{1}+(-)$ be the successor monad on the augmented simplex category. Precomposition with $\\operatorname{suc}$ induces the décalage pseudomonad $\\mathbb S$ on the $2$-category of augmented pseudocosimplicial objects with values in $\\mathcal H$. We prove that every successor contraction makes the corresponding augmented pseudocosimplicial object effective for descent. This structure is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}