Local States in String Diagrams
We establish that the local state monad introduced by Plotkin and Power is a monad with graded arities in the category [Inj,Set]. From this, we deduce that the local state monad is associated to a graded Lawvere theory which is presented by generators and relations, depicted in the graphical languag...
Saved in:
| Published in | Rewriting and Typed Lambda Calculi pp. 334 - 348 |
|---|---|
| Main Author | |
| Format | Book Chapter |
| Language | English |
| Published |
Cham
Springer International Publishing
2014
|
| Series | Lecture Notes in Computer Science |
| Online Access | Get full text |
Cover
Loading…
| Summary: | We establish that the local state monad introduced by Plotkin and Power is a monad with graded arities in the category [Inj,Set]. From this, we deduce that the local state monad is associated to a graded Lawvere theory which is presented by generators and relations, depicted in the graphical language of string diagrams. |
|---|---|
| ISBN: | 331908917X 9783319089171 |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-319-08918-8_23 |