SOERGEL CALCULUS.

The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show that Libedinsky's light leaves give a basis for morphism spaces and give a new proof and a generalization of Soergel's classification of the indecomposable Soergel bimodules. [ABSTRACT FROM AUTHOR]