I am looking for more examples of universal constructions in probability theory. Like the construction a of Gaussian space from a real Hilbert space, or a Poisson jump process from a measurable space with a $\sigma$-finite measure. There must be tons of examples, even though their universality (in the sense of category theory) is probably not commonly emphasized.

  • $\begingroup$ Related: mathoverflow.net/questions/20740 and mathoverflow.net/questions/117274 $\endgroup$ – Martin Brandenburg Feb 5 '13 at 19:06
  • $\begingroup$ @Martin: Thanks! $\endgroup$ – UwF Feb 6 '13 at 8:43
  • $\begingroup$ I'm not sure that is what you are interested, but there has been much work on projective limits of probability spaces, starting with work of Bochner, as a genralization of the Daniell-Kolmogorov-construction of stochastic processes. $\endgroup$ – Michael Greinecker Feb 6 '13 at 14:20
  • 1
    $\begingroup$ I was thinking of examples that could convince classical probabilists that it might be worthwile for them to study some basic category theory... but I might be dreaming ;) $\endgroup$ – UwF Feb 6 '13 at 15:39
  • 1
    $\begingroup$ It is clearly not an answer, but it is related : a categorical approach to measure theory. $\endgroup$ – Pece Dec 7 '13 at 14:40

The category of measurable spaces is topological this means that they have initial & final structures analogously to those in topology. These can be universally expressed as noted on the wikipedia page.

Cylinder set measures are defined categorically if not universally, and are used to define measures on infinite-dimensional spaces such as the abstract wiener space construction.

Lebesgue measure and the integral can be defined universally as shown by Tom Leinster.

  • $\begingroup$ The notes by Leinster are cool, which book of Barr and Wells does he refer to? How technical does the construction of the initial object get, if one fills in all the details? $\endgroup$ – UwF Feb 12 '13 at 9:03
  • $\begingroup$ The notes by Leinster cannot be found. Please correct the url. $\endgroup$ – Ehsan M. Kermani Dec 3 '13 at 7:54
  • $\begingroup$ I think this is the right link maths.ed.ac.uk/~tl/pssl/leinster.pdf $\endgroup$ – UwF Dec 3 '13 at 17:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.