Homotopical and higher categorical structures

这个项目涉及同伦和更高范畴结构。它们出现在拓扑学、算术几何、数学物理和表示论中。随着这些主体越来越多地转向“范畴化”现象，这些结构也相应地成为中心。本项目将侧重于了解这些结构并确定它们的基本属性。目标将是使用同伦工具解决同伦理论之外的学科的具体问题。

This project concerns homotopical and higher categorical structures. These appear in topology, arithmetic geometry, mathematical physics, and representation theory. As these subjects turn increasingly to the phenomenon of "categorification," these structures become accordingly central. This project will focus on understanding these structures and establishing their basic properties. The goal will be to solve concrete problems from subjects outside homotopy theory using homotopical tools.