# Linked Questions

20 questions linked to/from Is there a category structure one can place on measure spaces so that category-theoretic products exist?

228
votes

13
answers

38k
views

### Is there an introduction to probability theory from a structuralist/categorical perspective?

The title really is the question, but allow me to explain.
I am a pure mathematician working outside of probability theory, but the concepts and techniques of probability theory (in the sense of ...

49
votes

28
answers

8k
views

### Problems where we can't make a canonical choice, solved by looking at all choices at once

It's a common theme in mathematics that, if there's no canonical choice (of basis, for example), then we shouldn't make a choice at all. This helps us focus on the heart of the matter without giving ...

172
votes

7
answers

28k
views

### Why do probabilists take random variables to be Borel (and not Lebesgue) measurable?

I've been studying a bit of probability theory lately and noticed that there seems to be a universal agreement that random variables should be defined as Borel measurable functions on the probability ...

60
votes

7
answers

16k
views

### Is there a measure zero set which isn't meagre?

A subset of ℝ is meagre if it is a countable union of nowhere dense subsets (a set is nowhere dense if every open interval contains an open subinterval that misses the set).
Any countable set ...

48
votes

7
answers

12k
views

### What's the use of a complete measure?

A complete measure space is one in which any subset of a measure-zero set is measurable.
For what reasons would I want a complete measure space? The only reason I can think of is in the context of ...

47
votes

4
answers

21k
views

### When is $L^2(X)$ separable?

I have never studied any measure theory, so apologise in advance, if my question is easy:
Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable?
In reality, I am interested in ...

37
votes

5
answers

4k
views

### Reference for the Gelfand duality theorem for commutative von Neumann algebras

The Gelfand duality theorem for commutative von Neumann algebras states that the following three categories are equivalent:
(1) The opposite category of the category of commutative von Neumann ...

26
votes

3
answers

4k
views

### Why is free probability a generalization of probability theory?

Note: This question was already asked on Math.SE nearly a week and a half ago but did not receive any responses. To the best of my knowledge, free probability is an active topic of research, so I hope ...

15
votes

3
answers

5k
views

### Integration of differential forms using measure theory?

Setup: Let $(M,g)$ be a (possibly non-compact) Riemannian manifold with volume density $d_gV$. Then one may think of $(M,g)$ as a measure space $(\Omega,\mathcal{A},\mu)$, where $\Omega:=M$, $\mathcal{...

18
votes

4
answers

2k
views

### Monoidal structures on von Neumann algebras

My question is based on the following vague belief, shared by many people: It should be possible to use von Neumann algebras in order to define the cohomology theory TMF (topological modular forms) in ...

7
votes

2
answers

1k
views

### Conditional Expectation for $\sigma$-finite measures

Someone knows of some definition or reference of how to define conditional expectation for a measure space with $\sigma$-finite measure.
I think it should be as follows:
Let $(X,\mathcal{B},\nu)$ ...

3
votes

3
answers

513
views

### Quick derivation of classical probability theory from von Neumann algebraic framework

Watching (the begining of) a lecture on free probability theory by Dimitri Shlyakhtenko https://www.youtube.com/watch?v=F8Urtr39jM0, I'm led to consider the following question
Question. How can one ...

5
votes

2
answers

937
views

### Commutative von Neumann algebras and localizable measure spaces

This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...

21
votes

1
answer

1k
views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

7
votes

1
answer

928
views

### Subfactor theory and Hilbert von Neumann Algebras

There seem to be intimate connections between the different definitions of von Neumann module. The two that I'm aware of are Hilbert von Neumann modules and correspondences (in the sense of Connes). I ...