Theory of localisable monads
View/ Open
Date
30/06/2023Author
Dicaire, Nuiok
Metadata
Abstract
Monads are used in programming semantics to govern computational side-effects such as reading
and writing to a memory store, non-determinism, exceptions, and interactive inputs and
outputs among others. Monads are also useful in mathematics where they provide a way of
studying algebras at the levels of theories rather than specific structures. An important question
that arises is how to combine monads that, for example, describe several instances of side-effects
or graded collections of them. The general approach consists in defining many “small”
monads and combining them together using distributive laws.
Here we take a different approach and look for a pre-existing internal structure to a monoidal
category that allows us to develop a fine-graining of monads. The internal structure in question
is a lattice of central idempotents. Central idempotents are a generalisation of idempotent ideals
in modules over rings. They can also be thought of as open sets of a hidden base space over
which a monoidal category decomposes as a sheaf of local categories.
In this thesis we ask the following question: given a monad on a monoidal category, when
does it decompose as a presheaf of monads? We provide an answer in terms of the existence of
a strength-like map for each central idempotent. We go on to show that localisable monads are
equivalent to a specific type of formal monads in an appropriate presheaf 2-category. We then
demonstrate how localisable monads can interpret the base space as locations in a computer
memory and as time in stochastic processes.
Next, we study how the structure of localisability can be added to monoid-graded monads.
This is inspired by a recent paper by Orchard et al. that showed that graded monads and parameterised
monads are unified under a generalisation of 2-category-graded monads. We extend this
to localisable 2-category-graded monads and recover equivalence theorems similar to those for
localisable monads.
Lastly, we explore how localisable monads can be used to describe the contribution of a
given agent in a network of interacting agents acting concurrently. We discuss how central idempotents
in a monoidal category are insufficient to capture this scenario and show it is instead
described by defining localisable monads on categories with an action by central idempotents.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Structure and semantics
Avery, Thomas Charles (The University of Edinburgh, 2017-11-30)Algebraic theories describe mathematical structures that are defined in terms of operations and equations, and are extremely important throughout mathematics. Many generalisations of the classical notion of an algebraic ... -
Way of the dagger
Karvonen, Martti Johannes (The University of Edinburgh, 2019-07-01)A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under ... -
Abstraction for web programming
Yallop, Jeremy (The University of Edinburgh, 2010)This thesis considers several instances of abstraction that arose in the design and implementation of the web programming language Links. The first concerns user interfaces, specified using HTML forms. We wish to construct ...