master thesisInternal mathematics for stochastic calculus: a tripos theoretic approach

My master thesis work. I explored how stochastic calculus could be simplified by a suitable internalization in a topos of 'stochastic sets'. The results are encouraging, though much remains to be done.