English

Functional distribution monads in functional-analytic contexts

Category Theory 2017-09-05 v3 Functional Analysis

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 functional-analytic context\textit{functional-analytic context}, formulated in terms of a given monad or algebraic theory T\mathcal{T} enriched in a closed category V\mathcal{V}. By employing the notion of commutant\textit{commutant} for enriched algebraic theories and monads, we define the functional distribution monad\textit{functional distribution monad} associated to a given functional-analytic context. We establish certain general classes of examples of functional-analytic contexts in cartesian closed categories V\mathcal{V}, wherein T\mathcal{T} is the theory of RR-modules or RR-affine spaces for a given ring or rig RR in V\mathcal{V}, or the theory of \textit{R-convex spaces} for a given preordered ring RR in V\mathcal{V}. We prove theorems characterizing the functional distribution monads in these contexts, and on this basis we establish several specific examples of functional distribution monads.

Keywords

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}
}
R2 v1 2026-06-22T18:02:42.880Z