Hostname: page-component-84b7d79bbc-tsvsl Total loading time: 0 Render date: 2024-07-30T16:05:49.548Z Has data issue: false hasContentIssue false
  • English
  • Français

Coherence for monoidal monads and comonads†

Published online by Cambridge University Press:  27 May 2010

KOSTA DOŠEN  and
ZORAN PETRIĆ
KOSTA DOŠEN
Affiliation:
Mathematical Institute, SANU, Knez Mihailova 36, P.O. Box 367, 11001 Belgrade, Serbia Email: kosta@mi.sanu.ac.rs; zpetric@mi.sanu.ac.rs
ZORAN PETRIĆ
Affiliation:
Mathematical Institute, SANU, Knez Mihailova 36, P.O. Box 367, 11001 Belgrade, Serbia Email: kosta@mi.sanu.ac.rs; zpetric@mi.sanu.ac.rs
Get access Rights & Permissions [Opens in a new window]

Abstract

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, that is, monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this means that it preserves the monoidal structure up to a natural transformation that need not be an isomorphism). These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. The monoidal structure is also allowed to be given with finite products or finite coproducts. Monoidal comonads with finite products axiomatise a plausible notion of equality of deductions in a fragment of the modal logic S4.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 20 , Issue 4 , August 2010 , pp. 545 - 561
Copyright
Copyright © Cambridge University Press 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bruguières, A. and Virelizier, A. (2007) Hopf monads. Adv. Math. 215 679–733.Google Scholar
Bruguières, A. and Virelizier, A. (2008) Categorical centers and Reshetikin–Turaev invariants. Acta Math. Vietnam. 33 255–277.Google Scholar
Došen, K. and Petrić, Z. (2004) Proof-Theoretical Coherence, KCL Publications (College Publications), London (revised version of 2007 available at: http://www.mi.sanu.ac.rs/kosta/coh.pdf).Google Scholar
Došen, K. and Petrić, Z. (2008) Coherence for modalities (preprint available at arXiv).Google Scholar
Došen, K. and Petrić, Z. (2009) Syntax for split preorders (preprint available at arXiv).Google Scholar
Došen, K. and Petrić, Z. (2010) Coherence for monoidal endofunctors. Mathematical Structures in Computer Science this volume (preprint available at arXiv).Google Scholar
Eilenberg, S. and Kelly, G. M. (1966) Closed categories. In: Eilenberg, S. et al. (eds.) Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Springer-Verlag 421–562.Google Scholar
Kock, A. (1970) Monads on symmetric monoidal closed categories. Arch. Math. 21 1–10.CrossRefGoogle Scholar
Kock, A. (1972) Strong functors and monoidal monads. Arch. Math. 23 113–120.Google Scholar
Leinster, T. (2003) Higher Operads, Higher Categories, Cambridge University Press.Google Scholar
Mac Lane, S. (1998) Categories for the Working Mathematician, expanded second edition, Springer-Verlag.Google Scholar
McCrudden, P. (2002) Opmonoidal monads. Theory Appl. Categ. 10 469–485.Google Scholar
Moerdijk, I. (2002) Monads on tensor categories. J. Pure Appl. Algebra 168 189–208.Google Scholar
Moggi, E. (1991) Notions of computation and monads. Inform. and Comput. 93 55–92.Google Scholar
Pastro, C. and Street, R. (2009) Closed categories, star-autonomy, and monoidal comonads. J. Algebra 321 3494–3520.Google Scholar
Willerton, S. (2008) A diagrammatic approach to Hopf monads. Arab. J. Sci. Eng. 33 (2C)561–585.Google Scholar