An MSP101 talk about sheaf theory, covering cohomology and logical applications. There's also an hint of a system-theoretic interpretation I'm working on.

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.