seminar file: What is and what should be `Higher dimensional group theory'?