Monads in 2-categories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.03102
curl -X POST /api/v1/records/arxiv/2605.03102/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.03102/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'