[categories] Summer School on Theory and Applications of(∞,n)-Categories