Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces A categorification of finite-dimensional irreducible representations of quantum \({\mathfrak{sl}_2}\) and their tensor products 