Presenting Distributive Laws

DOI10.1007/978-3-642-40206-7_9zbMath1394.68238arXiv1503.02447OpenAlexW2714419060MaRDI QIDQ5891183

Helle Hvid Hansen, Jurriaan Rot, Marcello M. Bonsangue, Alexander Kurz

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (8)

Unnamed Item ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ Unnamed Item ⋮ Lawvere Categories as Composed PROPs ⋮ Product Rules and Distributive Laws ⋮ Bialgebraic foundations for the operational semantics of string diagrams

This page was built for publication: Presenting Distributive Laws