Skip to main content

No-iteration mixed distributive laws


We present the no-iteration version of a mixed distributive law of a monad over a comonad in a general 2-category. We present the simplifications that occur in the case of the 2-category Cat.

Hide All
Beck, J. (1969) Distributive laws. In: Seminar on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67) Springer, Berlin 119140.
Brzeziński, T. and Majid, S. (1998) Coalgebra bundles. Communications in Mathematical Physics 191 (2) 467492.
Burroni, E. (1973) Lois distributives mixtes. Comptes Rendus de l'Académie des Sciences – Series A 276 897900.
Manes, E. (1976) Algebraic Theories, Berlin-Heidelberg-New York: Springer-Verlag.
Manes, E. (2003) Monads of sets. In: Hazewinkel, M. (ed.) Handbook of Algebra, volume 3, Amsterdam, The Netherlands: Elsevier Science.
Marmolejo, F. (1998) Continuous families of coalgebras. Journal of Pure and Applied Algebra 130 (2) 197215.
Marmolejo, F. (1999) Doctrines whose structure forms a fully faithful adjoint string. Theory and Applications of Categories 3 (2) 2444.
Marmolejo, F. and Wood, R. J. (2010) Monads as extension systems – no iteration is necessary. Theory and Applications of Categories 24 84113.
Moggi, E. (1991) Notions of computations and monads. Information and Computation 93 (1) 5592.
Power, J. and Watanabe, H. (2002) Combining a monad and a comonad. Coalgebraic methods in computer science (Amsterdam, 1999). Theoretical Computer Science 280 (1–2) 137162.
Street, R. H. (1972) The formal theory of monads. Journal of Pure and Applied Algebra 2 149168.
Turi, D. and Plotkin, G. (1997) Towards a mathematical operational semantics. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, LICS '97, IEEE Computer Society Press 280291.
Uustalu, T. and Vene, V. (2008) Comonadic notions of computation. Electronic Notes in Theoretical Computer Science 203 263284.
VanOsdol, Donovan H. (1971) Sheaves in regular categories. In: Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics volume 236, Berlin-Heidelberg-New York: Springer-Verlag 223239.
Walters, R. F. C. (1970) A Categorical Approach to Universal Algebra, Ph.D. thesis, Australian National University.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 33 *
Loading metrics...

Abstract views

Total abstract views: 249 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st May 2018. This data will be updated every 24 hours.