
> 
> This is a crosspost of [this](https://math.stackexchange.com/questions/1199921/projective-family-of-probability-spaces) question from MSE.
> 
> 
> 


I'm confused about the definition of a projective family of probability spaces $(S\_t,\mathscr S \_t,\mu\_t,f\_{ts})\_{s,t\in T}$. The conditions


* $f\_{tt}=1\_{S\_t}$
* $f\_{us}=f\_{ts}\circ f\_{ut}$ where $s\leq t\leq u$


are clear from the usual definition of a projective system as a functor from $\mathsf T^\text{op}$, the opposite poset category. However, (in addition to measurability) the following condition always appears:


* $\mu\_s = (f\_{ts})\_{\ast}(\mu\_t)$, where the RHS is the pushforward measure.


This looks to me like a kind of cone coherence condition, but it does not (as far as I can see) fall out of the categorical formalism of limits if one works in the category with probability spaces as objects and measurable maps as arrows.


Furthermore, the projective limit (if it exists) is required to satisfy the following two conditions:


* Its $\sigma$-algebra is generated by the restrictions of the projections $\pi\_t$
* Its probability measure $\mu$ must satisfy $(\pi\_t)\_\ast (\mu)=\mu \_t$



> 
> In what category should one work so that ***all*** these conditions fall out of the categorical formalism? In other words, in what category does the categorical notion of projective limit coincide exactly with the one found in books.
> 
> 
> 



Projective family of probability spaces
These condition fall out of the categorical formalism, using the category of measurable spaces, provided you view probability measures from a slightly different perspective. Think of a probability measure as an affine, weakly averaging functional which preserves limits $I^X \rightarrow I$, where $I=[0,1]$...see the paper <http://arxiv.org/pdf/1406.6030.pdf> The category of measurable spaces is a symmetric monoidal closed category which makes all this, from my (biased) perspective, fairly easy to work out the basics. This is indirectly a question about the Giry monad; but the Giry monad is naturally isomorphic to a submonad of the double dualization monad where analysis of this problem is easier. (Giry's paper also attempts to address this projective limits problem also. See <http://link.springer.com/chapter/10.1007%2FBFb0092872>. It's easier to work in the category of measurable spaces directly (rather than the Kleisi category). Let me just point out that the tensor product of the these spaces in question exist and the projection maps are measurable, so that the pushforward maps look like that in, say Diagram 1, page 9. The projective limit, provided it exist, is then just a ``probability measure'' on the tensor product space $\otimes\_i X\_i$, ie., a weakly averaging affine functional $I^{\otimes\_i X\_i} \stackrel{P}{\longrightarrow} I$ which preserves limits, with the composite $I^{X\_j} \stackrel{I^{\pi\_j}}{\longrightarrow} I^{\otimes\_i X\_i} \stackrel{P}{\longrightarrow} I$ being the pushforward along the coordinate projection map $\pi\_j$. (These projection maps are measurable on the tensor product space as discussed in the paper.)


