Double Adjunctions and Free Monads

Details Double Adjunctions and Free Monads Double Adjunctions and Free Monads

2011-05-31

arxiv.org/abs/1105.6206v2

Mathematics

Category Theory

52 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Double Adjunctions and Free Monads does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Double Adjunctions and Free Monads, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Double Adjunctions and Free Monads will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-337837