A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Equational Theories and Monads from Polynomial Cayley Representations
[chapter]
2019
Green Chemistry and Sustainable Technology
We generalise Cayley's theorem for monoids by providing an explicit formula for a (multi-sorted) equational theory represented by the type P X → X, where P is an arbitrary polynomial endofunctor with natural coefficients. From the computational perspective, examples of effects given by such theories include backtracking nondeterminism (obtained with the original Cayley representation X → X), finite mutable state (obtained with n → X, for a constant n), and their different combinations (via n ×
doi:10.1007/978-3-030-17127-8_26
dblp:conf/fossacs/PirogPS19
fatcat:5v6j3zvhxfe3rcuuj7r5wiu2wu