AbstractIn this talk, I will survey the development of the 3d/3d correspondence in the past years. The 3d/3d correspondence is the duality between complex Chern-Simons theory on a 3-manifold and 3d N=2 theory labeled by the 3-manifold. Although the full picture is yet to be uncovered, it exhibits a spectacular interplay between topology of 3-manifolds and QFT. In this talk, I introduce establis...
Introduction to Topos TheoryTopos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the wo...