{"id":"arxiv/2601.05691","url":"https://arxiv.org/abs/2601.05691","tags":["math.CT"],"score":0,"title":"The Bénabou-Roubaud theorem via string diagrams","domain":"math.CT","source":"arxiv","authors":["Jovana Obradović"],"reviews":0,"subject":"math.CT","summary":"We give a complete proof of the Bénabou-Roubaud monadic descent theorem using the graphical calculus of string diagrams. Our proof links the monadic and Grothendieck's original viewpoint on descent via an internal-category-based characterization of the category of descent data, equivalent to the one of Janelidze and Tholen.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-09","reactions":{}}