Equational Theories and Monads from Polynomial Cayley Representations
Work
Year: 2019
Type: book-chapter
Abstract: We generalise Cayley’s theorem for monoids by providing an explicit formula for a (multi-sorted) equational theory represented by the type $$PX \rightarrow X$$ , where $$P$$ is an arbitrary polynomia... more
Institution University of Wrocław
Cites: 28
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $5,392