Equational theories and monads from polynomial Cayley representations

DOI10.1007/978-3-030-17127-8_26OpenAlexW2934281292MaRDI QIDQ2289097FDOQ2289097

Authors: Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski 

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_26

Recommendations

• Countable Lawvere theories and computational effects
• Notions of computation as monoids
• scientific article; zbMATH DE number 1497816
• Theories of analytic monads
• Completeness for algebraic theories of local state

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited In (7)

• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polynomial monads and delooping of mapping spaces
• Equational theories as congruences of enriched monoids
• Doo bee doo bee doo
• Effect handlers via generalised continuations

This page was built for publication: Equational theories and monads from polynomial Cayley representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289097)