Categorification of the Kazhdan-Lusztig basis of the Temperley-Lieb algebra by bimodules

We realize the Temperley-Lieb algebra by analogues of Soergel bimodules. The key point is that the monoidal structure is not given by a usual tensor product but by a slightly more complicated operation.