Kazhdan-Lusztig equivalence of categories