Double ad junctions and free monads

zbMATH Open1284.18013arXiv1105.6206MaRDI QIDQ2869327FDOQ2869327

Authors: Thomas M. Fiore, Nicola Gambino, Joachim Kock 

Publication date: 3 January 2014

Published in: Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1105.6206

Recommendations

• Monads in double categories
• Publication:4933938
• scientific article; zbMATH DE number 3964132
• scientific article; zbMATH DE number 2139647
• Algebraic Kan extensions in double categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cited In (17)

• Free Globularly Generated Double Categories II: The Canonical Double Projection
• Monads in double categories
• Double power monad preserving adjunctions are Frobenius
• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• Free globularily generated double categories
• Algebraic Kan extensions in double categories
• Retrocells
• The formal theory of multimonoidal monads
• Yoneda theory for double categories
• Classifiers for monad morphisms and adjunction morphisms
• Title not available (Why is that?)
• Yoneda lemma and representation theorem for double categories
• Span, cospan, and other double categories
• Freely adjoining monoidal duals
• The formal theory of relative monads
• How many adjunctions give rise to the same monad?
• Title not available (Why is that?)

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)