Monads in double categories (Q531324): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1016/j.jpaa.2010.08.003 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.JPAA.2010.08.003 / rank | |||
Normal rank |
Revision as of 03:39, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monads in double categories |
scientific article |
Statements
Monads in double categories (English)
0 references
29 April 2011
0 references
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.
0 references
double category
0 references
monad
0 references
2-category
0 references