Category talk:Theorems regarding stochastic processes