Exploring the Boundaries of Monad Tensorability on Set

DOI10.2168/LMCS-9(3:22)2013zbMath1287.18004arXiv1309.2128MaRDI QIDQ2848367

Lutz Schröder, Paul Blain Levy, Nathan Bowler, Sergei S. Goncharov

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.2128

zbMATH Keywords

tensor productsmonadsnondeterminismside effects

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies

Uses Software

• Haskell

This page was built for publication: Exploring the Boundaries of Monad Tensorability on Set