Localisable Monads

08/03/2021
by   Carmen Constantin, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/17/2021

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

Category theory can be used to state formulas in First-Order Logic witho...
11/25/2002

Monadic Style Control Constructs for Inference Systems

Recent advances in programming languages study and design have establish...
01/28/2020

Unifying graded and parameterised monads

Monads are a useful tool for structuring effectful features of computati...
08/25/2021

Latent Effects for Reusable Language Components: Extended Version

The development of programming languages can be quite complicated and co...
11/30/2020

The costructure-cosemantics adjunction for comodels for computational effects

It is well established that equational algebraic theories, and the monad...
04/17/2019

A 2-Categorical Study of Graded and Indexed Monads

In the study of computational effects, it is important to consider the n...
11/23/2019

Generativity and Interactional Effects: an Overview

We propose a means to relate properties of an interconnected system to i...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.