A universal construction adjoins infinite tensor products to FinStoch to produce a category of locally constant Markov kernels on finite sets union the Cantor space, enabling algebraic reasoning about continuous probability measures on the reals and lifting prior axiomatizations.
Advances in Mathematics370, 107239 (2020)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.
citing papers explorer
-
Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
A universal construction adjoins infinite tensor products to FinStoch to produce a category of locally constant Markov kernels on finite sets union the Cantor space, enabling algebraic reasoning about continuous probability measures on the reals and lifting prior axiomatizations.
-
Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.