Additive cellular automata graded-monadically

Capobianco, Silvio; Uustalu, Tarmo

dc.contributor	Reykjavik University
dc.contributor	Háskólinn í Reykjavík
dc.contributor.author	Capobianco, Silvio
dc.contributor.author	orcid.org/0000-0002-1297-0579 Uustalu, Tarmo
dc.date.accessioned	2024-02-29T09:43:05Z
dc.date.available	2024-02-29T09:43:05Z
dc.date.issued	2023-10-22
dc.identifier.citation	S. Capobianco, T. Uustalu. Additive cellular automata graded-monadically. In 25th International Symposium on Principles and Practice of Declarative Programming (PPDP ’23), October 22-23, 2023, Lisbon, Portugal, art. 13, 9 pp. ACM, New York, 2023. doi:10.1145/3610612.3610625
dc.identifier.isbn	979-8-4007-0812-1
dc.identifier.uri	https://hdl.handle.net/20.500.11815/4744
dc.description.abstract	Cellular automata are an archetypical comonadic notion of computation in that computation happens in the coKleisli category of a comonad. In this paper, we show that they can also be viewed as graded comonadic—a perspective that turns out to be both more informative and also more basic. We also discuss additive cellular automata to show that they admit both a graded comonadic and a graded monadic view. That these two perspectives are simultaneously available in this special case arises from a graded version of an observation by Kleiner about adjoint comonad-monad pairs.
dc.description.sponsorship	This work was supported by the Estonian Research Council team grant no. PRG1210 and by the Icelandic Research Fund project 228684-051.
dc.format.extent	article 13
dc.language.iso	en
dc.publisher	ACM
dc.relation.ispartofseries	ACM International Proceeding Series;
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	models of computation
dc.subject	cellular automata
dc.subject	additive cellular automata
dc.subject	comonads
dc.subject	adjoint comonad-monad pairs
dc.subject	graded comonads
dc.subject	graded monads
dc.title	Additive cellular automata graded-monadically
dc.type	info:eu-repo/semantics/bookPart
dc.description.version	Peer Reviewed
dc.identifier.journal	25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)
dc.identifier.doi	10.1145/3610612.3610625
dc.contributor.department	Department of Computer Science (RU)
dc.contributor.department	Tölvunarfræðideild (HR)
dc.contributor.school	School of Technology (RU)
dc.contributor.school	Tæknisvið (HR)