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
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