internalization and categorical algebra
algebra object (associative, Lie, β¦)
By analogy with graded algebra, an -graded monad in a category for a monoidal category, , is a lax monoidal functor from to the endo-functor category of (that whose monoid objects are monads on ):
This generalizes the concept of a plain monad on , which is recovered as the special case of grading by the the terminal monoidal category .
Equivalently, an -grading is a lax action of on , which in turn is equivalently a lax 2-functor to Cat from the delooping of , i.e.: .
Just as monads may be defined in any 2-category (besides the case Cat), this suggests that we may generalize graded monads to lax 2-functors .
A further generalization is to category-valued monads, lax functors from any category to (OrchWadEad), and then to 2-category-valued monads from any 2-category.
Graded monads are also known as parametric monads. The grading idea may also be applied to comonads.
The grading may arise from a monoid . Then for some given category, , we have a family of endofunctors, , indexed by elements of , with maps and , for in and in . For instance, there is a -graded monad on sets where returns lists of length of elements of a set.
In computer science, monads model effects and comonads coeffects. Grading can therefore allow further annotation of these. For instance, there are graded versions of the reader monad, state monad and writer comonad (OrchPet).
Any graded modality, such as found in bounded linear logic.
For graded monads relevant for probability theory see (Perrone).
Given the strict action of a monoidal category, on a category , and an adjunction
then inherits a lax action of and is hence a graded monad. Every lax action can be generated from a strict action in this way. Initial and terminal such resolutions of a lax action then generalize the situation in which is a monad is resolved into adjunctions with the Kleisli and Eilenberg-Moore categories (FKM 16).
Graded monads can be used to construct ordinary monads by left Kan extension in the 2-category of monoidal categories, lax monoidal functors, and monoidal transformations. There are known criteria for when this Kan extension exists; see (Fritz & Perrone 18, Theorem 2.1), as well as the references in there on algebraic Kan extensions.
For example, taking the left Kan extension of the graded list monad described above results in the usual list monad on , given by a lax monoidal functor . Based on a similar construction on the category of complete metric spaces, (Fritz & Perrone 17) have contructed a monad of Radon probability measures without any appeal to measure theory; the intuitive idea being that a probability measure can be thought of as an idealized version of a finite sample, and spaces of finite samples make up a graded monad. Forgetting the grading by taking the above Kan extension then produces the Kantorovich monad, containing all Radon probability measures of finite first moment. This construction reduces certain problems in measure-theoretic probability to purely combinatorial problems.
A useful feature of such constructions is that the multiplication of the graded monad is often a strong monoidal functor in practice. For the graded list monad, this is because a list of length can be decomposed uniquely into a list of length of lists of length , so that the multiplication is an isomorphism. For the probability monad mentioned in the previous paragraph, the analogous phenomenon occurs as well, and this can be exploited e.g. in order to prove a disintegration theorem for finite first moment Radon probability measures on complete metric spaces (Perrone, Theorem 2.6.9).
A. L. Smirnov, Graded monads and rings of polynomials, Journal of Mathematical Sciences 151.3 (2008): 3032-3051.
Soichiro Fujii, Shin-ya Katsumata, and Paul-André Melliès, Towards a Formal Theory of Graded Monads, (pdf)
Soichiro Fujii, A 2-Categorical Study of Graded and Indexed Monads, (arXiv:1904.08083)
Ulrich Dorsch, Stefan Milius and Lutz SchrΓΆder, Graded Monads and Graded Logics for the Linear Time β Branching Time Spectrum, (arXiv:1812.01317)
Paolo Perrone, Categorical Probability and Stochastic Dominance in Metric Spaces, (thesis)
Tobias Fritz, Paolo Perrone, A Criterion for Kan Extensions of Lax Monoidal Functors, (arXiv:1809.10481).
Tobias Fritz, Paolo Perrone, A Probability Monad as the Colimit of Spaces of Finite Samples, (arXiv:1712.05363).
Dominic Orchard, Tomas Petricek, Embedding effect systems in Haskell, (pdf)
Dominic Orchard, Philip Wadler, Harley Eades, Unifying graded and parameterised monads, (arXiv:2001.10274)
Graded monads are shown to be examples of enriched relative monads in:
Last revised on July 30, 2024 at 10:58:03. See the history of this page for a list of all contributions to it.