{"id":"arxiv/2605.03102","url":"https://arxiv.org/abs/2605.03102","tags":["math.CT"],"score":0,"title":"Monads in 2-categories","domain":"math.CT","source":"arxiv","authors":["Aaron David Fairbanks"],"reviews":0,"subject":"math.CT","summary":"This is a condensed overview of the formal theory of monads in a 2-category. Commutative diagrams and string diagrams are given side by side. In the string diagrams, each concept is visualized in a way that suggests its properties using topological intuition. For example, monads themselves appear as channels of fluid, suggesting the unit and associativity laws by topological deformation. We cover monads, modules, (co)lax 1-cells and the 2-cells between them, algebra objects, bimodules, distributive laws, codensity monads, and pushforward monads. In addition to the standard 2-categories of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}