4 citations · 8 across the 8 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2026
The Bénabou-Roubaud theorem via string diagrams
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…
math.CT2020
Minimal models for graph-related (hyper)operads
Michael Batanin, Martin Markl, Jovana Obradović
We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homot…
math.CT2016★ 2 cited
Monoid-like definitions of cyclic operads
Jovana Obradović
Guided by the microcosm principle of Baez-Dolan and by the algebraic definitions of operads of Kelly and Fiore, we introduce two "monoid-like" definitions of cyclic operads, one fo…