Convergence of martingales via enriched dagger categories

Paolo Perrone, Ruben Van Belle

We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with…