Functional distribution monads in functional-analytic contexts
Abstract
We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional analysis, called a , formulated in terms of a given monad or algebraic theory enriched in a closed category . By employing the notion of for enriched algebraic theories and monads, we define the associated to a given functional-analytic context. We establish certain general classes of examples of functional-analytic contexts in cartesian closed categories , wherein is the theory of -modules or -affine spaces for a given ring or rig in , or the theory of \textit{R-convex spaces} for a given preordered ring in . We prove theorems characterizing the functional distribution monads in these contexts, and on this basis we establish several specific examples of functional distribution monads.
Cite
@article{arxiv.1701.08152,
title = {Functional distribution monads in functional-analytic contexts},
author = {Rory B. B. Lucyshyn-Wright},
journal= {arXiv preprint arXiv:1701.08152},
year = {2017}
}