Working synthetically in higher categorical structures

点击翻译按钮获取中文摘要

This project aims to develop tools for synthetic reasoning in the mathematical discipline of higher category theory. Since its introduction in Euclidean geometry, synthetic reasoning has repeatedly revolutionised mathematics. The project expects to bring these benefits to important new structures such as (infinity, 2)-categories and monoidal bicategories, as well as building the expanding circle of applications of these structures. The project's key outcome will be new scientific tools which will greatly benefit workers in areas of application as diverse as algebraic topology and geometry, quantum physics and computer science, while also helping to train Australia's next generation of scientific leaders.