1 Search Results for "Dicaire, Nuiok"

Document

DOI: 10.4230/LIPIcs.CSL.2022.15

Localisable Monads

Authors: Carmen Constantin, Nuiok Dicaire, and Chris Heunen

Published in: LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)

Abstract

Monads govern computational side-effects in programming semantics. A collection of monads can be combined together in a local-to-global way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we start with a single monad and equip it with a fine-grained structure by using techniques from tensor topology. This provides an intrinsic theory of local computational effects without needing to know how constituent effects interact beforehand. Specifically, any monoidal category decomposes as a sheaf of local categories over a base space. We identify a notion of localisable monads which characterises when a monad decomposes as a sheaf of monads. Equivalently, localisable monads are formal monads in an appropriate presheaf 2-category, whose algebras we characterise. Three extended examples demonstrate how localisable monads can interpret the base space as locations in a computer memory, as sites in a network of interacting agents acting concurrently, and as time in stochastic processes.

Cite as

Carmen Constantin, Nuiok Dicaire, and Chris Heunen. Localisable Monads. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 15:1-15:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{constantin_et_al:LIPIcs.CSL.2022.15,
  author =	{Constantin, Carmen and Dicaire, Nuiok and Heunen, Chris},
  title =	{{Localisable Monads}},
  booktitle =	{30th EACSL Annual Conference on Computer Science Logic (CSL 2022)},
  pages =	{15:1--15:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-218-1},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{216},
  editor =	{Manea, Florin and Simpson, Alex},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.15},
  URN =		{urn:nbn:de:0030-drops-157353},
  doi =		{10.4230/LIPIcs.CSL.2022.15},
  annote =	{Keywords: Monad, Monoidal category, Presheaf, Central idempotent, Graded monad, Indexed monad, Formal monad, Strong monad, Commutative monad}
}

Refine by Author
1 Constantin, Carmen
1 Dicaire, Nuiok
1 Heunen, Chris

Refine by Classification
1 Theory of computation → Categorical semantics

Refine by Keyword
1 Central idempotent
1 Commutative monad
1 Formal monad
1 Graded monad
1 Indexed monad
Show More...

Refine by Type
1 document

Refine by Publication Year
1 2022

1 Search Results for "Dicaire, Nuiok"

Localisable Monads

Abstract

Cite as

Thanks for your feedback!

Could not send message