I've heard about this construction on the lecture about **higher representation theory**:



> 
> Given a Lie algebra $g$, one constructs $\mathcal A$, a category whose $K\_0$ is the universal enveloping algebra of $g$. Conjecture: any $\mathcal A$-acted triangulated category $\mathcal V$ (with its $K$ locally finite) decomposes to $\oplus \mathcal V\_\lambda$ with braid action; and there is bijection between $g$-representations and minimal such categories.
> 
> 
> 


Is there a good — if possible, non-$sl\_2$ — example of such a category $\mathcal A$, minimal categories $V\_\lambda$ and braid action which explains why one would have such a construction?


**Update:** Found the [notes of the talk](http://www.math.utexas.edu/users/benzvi/GRASP/lectures/IAS/rouquierhigher.pdf) that has two $sl\_n$ examples, one from quivers, another from sheaves on the grassmannian, $\mathcal V :=\oplus^n\_i D^b\mathop{\rm constr}/\mathop{\rm Gr}(i,n)$. 


A more accessible text for either example would be welcome! Because if the best way to understand these is to "get" quantum groups, that's quite a big topic. My idea was more like "maybe this is a good place to start". 



Categorifying the group representations
The $sl\_n$ version of this shouldn't so bad. I think it's just self-dual objects in parabolic category O and shuffling functors, though I'll admit, I haven't checked this myself, and doubt it's written properly somewhere. Probably the best reference is the papers of Brundan and Kleshchev (for example "Schur-Weyl duality for higher levels"). 


I suspect the inspiration for such a conjecture isn't really particular examples so much a philosophy about what sort of structures on a quantum group should be categorifiable.


By the way, I think your conjecture might be a bit too strong (at least as I interpret it). The 2-representations of a 2-Kac-Moody algebra aren't semi-simple (I've got a huge supply of non-semisimple examples categorifying tensor products).


