Heisenberg and Kac–Moody categorification