Categorification and higher representation theory / Anna Beliakova, Aaron D. Lauda, editors. Providence, Rhode Island : American Mathematical Society, 2017, © 2017