Pith. sign in

REVIEW 1 cited by

Functional distribution monads in functional-analytic contexts

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1701.08152 v3 pith:DE44OOUG submitted 2017-01-27 math.CT math.FA

classification math.CTmath.FA
keywords mathcalmonadsfunctionaldistributionfunctional-analyticgiventextitcontexts
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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 $\textit{functional-analytic context}$, formulated in terms of a given monad or algebraic theory $\mathcal{T}$ enriched in a closed category $\mathcal{V}$. By employing the notion of $\textit{commutant}$ for enriched algebraic theories and monads, we define the $\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 $\mathcal{V}$, wherein $\mathcal{T}$ is the theory of $R$-modules or $R$-affine spaces for a given ring or rig $R$ in $\mathcal{V}$, or the theory of $\textit{$R$-convex spaces}$ for a given preordered ring $R$ in $\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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

    math.ST 2019-08 conditional novelty 7.0 of 10

    Markov categories provide a synthetic, axiom-based framework in which conditional independence, sufficiency, completeness, and classical theorems such as Basu and Bahadur hold uniformly across many probability theories.

Pith tools