talkMy name is stochastic calculus but everybody calls me calculus

A TallCat seminar about my master thesis and follow up work. I shows how some notions of stochastic calculus can be internalized in a sheaf topos. Full abstract and recording at the above link.