Knot theory is a classical area of low-dimensional topology, directly connected with the theory of three-manifolds and smooth four-manifold topology. In recent years, the subject has undergone transformative changes thanks to its connections with a number of other mathematical disciplines, including gauge theory; representation theory and categorification; contact geometry; and the theory of pseudo-holomorphic curves. Starting from the combinatorial...