{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T04:13:30Z","timestamp":1649132010113},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T00:00:00Z","timestamp":1274918400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2010,8]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1017\/s0960129510000034","type":"journal-article","created":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T13:27:49Z","timestamp":1274966869000},"page":"545-561","source":"Crossref","is-referenced-by-count":1,"title":["Coherence for monoidal monads and comonads"],"prefix":"10.1017","volume":"20","author":[{"given":"KOSTA","family":"DO\u0160EN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZORAN","family":"PETRI\u0106","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"S0960129510000034_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"S0960129510000034_ref12","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1023\/A:1020501521418","article-title":"Opmonoidal monads","volume":"10","author":"McCrudden","year":"2002","journal-title":"Theory Appl. Categ."},{"key":"S0960129510000034_ref10","volume-title":"Higher Operads, Higher Categories","author":"Leinster","year":"2003"},{"key":"S0960129510000034_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"S0960129510000034_ref2","first-page":"255","article-title":"Categorical centers and Reshetikin\u2013Turaev invariants","volume":"33","author":"Brugui\u00e8res","year":"2008","journal-title":"Acta Math. Vietnam."},{"key":"S0960129510000034_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2008.05.004"},{"key":"S0960129510000034_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(01)00096-2"},{"key":"S0960129510000034_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2007.04.011"},{"key":"S0960129510000034_ref6","doi-asserted-by":"crossref","unstructured":"Do\u0161en K. and Petri\u0107 Z. (2010) Coherence for monoidal endofunctors. Mathematical Structures in Computer Science this volume (preprint available at arXiv).","DOI":"10.1017\/S0960129510000022"},{"key":"S0960129510000034_ref16","first-page":"561","article-title":"A diagrammatic approach to Hopf monads","volume":"33","author":"Willerton","year":"2008","journal-title":"Arab. J. Sci. Eng."},{"key":"S0960129510000034_ref11","volume-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1998"},{"key":"S0960129510000034_ref5","unstructured":"Do\u0161en K. and Petri\u0107 Z. (2009) Syntax for split preorders (preprint available at arXiv)."},{"key":"S0960129510000034_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"S0960129510000034_ref4","unstructured":"Do\u0161en K. and Petri\u0107 Z. (2008) Coherence for modalities (preprint available at arXiv)."},{"key":"S0960129510000034_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01220868"},{"key":"S0960129510000034_ref3","volume-title":"Proof-Theoretical Coherence","author":"Do\u0161en","year":"2004"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129510000034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:01:36Z","timestamp":1556478096000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129510000034\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,27]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["S0960129510000034"],"URL":"https:\/\/doi.org\/10.1017\/s0960129510000034","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,27]]}}}