Inspired by Bar-Natan's description of Khovanov homology, we discuss thin posets and their capacity to support homology and cohomology theories which categorify rank-statistic generating functions. Additionally, we present two main applications. The first, a categorification of certain generalized Vandermonde determinants gotten from the Bruhat order on the symmetric group by applying a special TQFT to…

In this overview talk, I will first explain several mathematical approaches of mirror symmetry. Then I will focus on the mathematical theory of Witten's gauged linear sigma model based on the recent joint work with Gang Tian, which settles the mathematical foundation of the approach of Hori and Vafa.