Coherence for monoidal monads and comonads
From MaRDI portal
Publication:3583020
DOI10.1017/S0960129510000034zbMath1204.18002arXiv0907.2199OpenAlexW2964131885MaRDI QIDQ3583020
Publication date: 26 August 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0907.2199
Modal logic (including the logic of norms) (03B45) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Cites Work
This page was built for publication: Coherence for monoidal monads and comonads