TL;DR
This paper provides a condensed overview of the formal theory of monads within 2-categories and introduces two double categories of monads, extending prior work by Lack and Street.
Contribution
It extends the existing 2-categories of monads to include two new double categories, enriching the theoretical framework.
Findings
Introduces two double categories of monads in a 2-category.
Extends Lack and Street's 2-categories of monads.
Provides a condensed overview of the formal theory of monads in 2-categories.
Abstract
This is a condensed overview of the formal theory of monads in a 2-category. We also define two double categories of monads in a 2-category, extending Lack and Street's 2-categories of monads.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.