This project is concerned with fundamental problems arising at the interface of quantum field theory, knot theory, and the theory of random matrices. The main aim of the project is to understand two of the most profound phenomena in physics and mathematics, namely quantization and categorification, and to establish an explicit and rigorous framework where they come into play in an interrelated fas ...