1: \begin{abstract}

2: %The Radon-Nikodym theorem is a result in measure theory that describes a correspondence between

3: %random variables and measures, using Radon-Nikodym derivatives. The result has many applications in probability theory and stochastic calculus. In particular, the result implies the existence of conditional expectation, an important concept in martingale theory.

4: 

5: In this paper we will give a categorical proof of the Radon-Nikodym theorem. We will do this by

6: describing the trivial version of the result on finite probability spaces as a natural isomorphism. We then proceed to Kan extend this isomorphism to obtain the result for general probability spaces. Moreover, we observe that conditional expectation naturally appears in the construction of the right Kan extensions.

7: Using this we can represent martingales, a special type of stochastic processes, categorically.

8: 

9: We then repeat the same construction for the case where everything is enriched over $\mathbf{CMet}$, the category of complete metric spaces and $1$-Lipschitz maps. In the enriched context, we can give a categorical proof

10: of a martingale convergence theorem, by showing that a certain functor preserves certain cofiltered limits.

11: \end{abstract}

12: