Categorification of the Temperley–Lieb algebra by bimodules

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