"We will study in this project exciting new interactions and applications between two fundamental modern research areas of mathematics, homotopy theory and higher category theory. These areas of mathematics are used in applied sciences. For instance, homotopy theory is used in robotics and in computer science. Higher category theory studies the way in which complex structures arising for instance ...