Abstract
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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Beck, J.: Distributive laws. Lecture Notes in Mathematics, vol. 80, pp. 119–140 (1969)
Clouston, R.A., Pitts, A.M.: Nominal equational logic. In: Computation, Meaning, and Logic. Elsevier (2007)
Fiore, M.P., Hur, C.-K.: Term equational systems and logics. In: Proc. MFPS 2008, pp. 171–192 (2008)
Gabbay, M.J., Mathijssen, A.: Nominal (universal) algebra: Equational logic with names and binding. J. Log. Comput. 19 (2009)
Hyland, J.M.E., Plotkin, G., Power, A.J.: Combining effects: sum and tensor. Theoretical Computer Science 357(1), 70–99 (2006)
Hyland, J.M.E., Levy, P.B., Plotkin, G., Power, A.J.: Combining algebraic effects with continuations. Theoretical Computer Science 375 (2007)
Hyland, J.M.E., Power, A.J.: Discrete lawvere theories and computational effects. Theoretical Computer Science 366, 144–162 (2006)
Kurz, A., Petrisan, D.: Presenting functors on many-sorted varieties and applications. Inform. Comput. 208, 1421–1446 (2010)
Mellies, P.-A.: Segal condition meets computational monads. In: Proc. of LICS 2010 (2010)
Moggi, E.: Notions of computation and monads. Information and Computation 93(1) (1991)
O’Hearn, P.W., Tennent, R.D.: Algol-like Languages. Progress in Theoretical Computer Science. Birkhauser, Boston (1997)
Plotkin, G., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, p. 342. Springer, Heidelberg (2002)
Power, J.: Enriched lawvere theories. Theory and Applications of Categories 6(7), 83–93 (1999)
Power, J.: Semantics for Local Computational Effects. In: Proc. MFPS 2006. ENTCS, vol. 158, pp. 355–371 (2006)
Power, J.: Indexed Lawvere theories for local state. Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai, pp. 213–229. American Mathematical Society
Pretnar, M.: The Logic and Handling of Algebraic Effects. PhD thesis, University of Edinburgh (2010)
Staton, S.: Two cotensors in one: Presentations of algebraic theories for local state and fresh names. In: Proc. of MFPS XXV (2009)
Staton, S.: Completeness for algebraic theories of local state. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 48–63. Springer, Heidelberg (2010)
Staton, S.: Instances of computational effects. In: Proceedings of Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (2013)
Weber, M.: Familial 2-functors and parametric right adjoints. Theory and Applications of Categories 18, 665–732 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Melliès, PA. (2014). Local States in String Diagrams. In: Dowek, G. (eds) Rewriting and Typed Lambda Calculi. RTA TLCA 2014 2014. Lecture Notes in Computer Science, vol 8560. Springer, Cham. https://doi.org/10.1007/978-3-319-08918-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-08918-8_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08917-1
Online ISBN: 978-3-319-08918-8
eBook Packages: Computer ScienceComputer Science (R0)