For information of the project "Higher Algebra and Representation Theory" see here.