Double ad junctions and free monads
From MaRDI portal
Publication:2869327
Abstract: We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove a double-categorical Yoneda Lemma.
Recommendations
Cited in
(17)- scientific article; zbMATH DE number 3950781 (Why is no real title available?)
- The formal theory of multimonoidal monads
- Freely adjoining monoidal duals
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- Yoneda lemma and representation theorem for double categories
- scientific article; zbMATH DE number 3964132 (Why is no real title available?)
- The formal theory of relative monads
- Free globularily generated double categories
- Yoneda theory for double categories
- Algebraic Kan extensions in double categories
- Classifiers for monad morphisms and adjunction morphisms
- Retrocells
- Double power monad preserving adjunctions are Frobenius
- Free Globularly Generated Double Categories II: The Canonical Double Projection
- Span, cospan, and other double categories
- Monads in double categories
- How many adjunctions give rise to the same monad?
This page was built for publication: Double ad junctions and free monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2869327)
