DeepAI AI Chat
Log In Sign Up

Localisable Monads

by   Carmen Constantin, et al.

Monads govern computational side-effects in programming semantics. They can be combined in a ”bottom-up” way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip monads with fine-grained structure in a ”top-down” way, 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.


page 1

page 2

page 3

page 4


Category-Graded Algebraic Theories and Effect Handlers

We provide an effect system CatEff based on a category-graded extension ...

Category-theoretical Semantics of the Description Logic ALC (extended version)

Category theory can be used to state formulas in First-Order Logic witho...

Monoidal Streams for Dataflow Programming

We introduce monoidal streams: a generalization of causal stream functio...

Central Submonads and Notions of Computation

The notion of "centre" has been introduced for many algebraic structures...

Monadic Style Control Constructs for Inference Systems

Recent advances in programming languages study and design have establish...

Unifying graded and parameterised monads

Monads are a useful tool for structuring effectful features of computati...

The costructure-cosemantics adjunction for comodels for computational effects

It is well established that equational algebraic theories, and the monad...