2017/01/27 by Rory B. B. Lucyshyn-Wright, Lucyshyn-Wright, Rory B. B.
Mathematics · #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Functional Analysis (math.FA) #Homotopy and Cohomology in Algebraic Topology #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.1701.08152
openalex publication_date 2017/01/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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, formulated in terms of a given monad or algebraic theory T enriched in a closed category V. By employing the notion of commutant for enriched algebraic theories and monads, we define the 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, wherein T is the theory of R-modules or R-affine spaces for a given ring or rig R in V, or the theory of R-convex spaces for a given preordered ring R in 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.