4 citations · 8 across the 8 of their papers we have counts for
1 paper · 2 filters
Jovana Obradović
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 vie…