Monads in double categories

DOI10.1016/J.JPAA.2010.08.003MaRDI QIDQ531324zbMATH OpenOpenAlexWikidataFDO

Authors Thomas M. Fiore, Nicola Gambino, Joachim Kock

Publication date 29 April 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

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

Abstract: We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

Review text

A double category is an internal category in the category of all categories. By formulating the formal theory of monads in the context of double categories, some naturally occuring functors of the theory become monad maps; something which is not true when the formal theory of monads is formulated relative to the 2-category of categories. In this paper the formal theory of monads relative to a double category is developed and a sufficient condition is given for when free monads can be constructed. The paper is slightly hampered by the need to deploy quite a bit of categorical machinery to make its points, but it is nonetheless very clearly written and provides an accessible and interesting account of the topics under discussion. The abstract and introduction are well enough written to allow the reader to understand quickly, and in more detail, what the topics are that the paper is trying to cover.

Recommendations

Cites work

Cited in

(37)

This page was built for publication: Monads in double categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531324)