[Cite as http://purl.org/au-research/grants/arc/DP190102432]
Researchers A/Prof Stephen Lack; Prof Dominic Verity; Dr Richard Garner; Em/Prof Ross Street
Brief description 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.
Funding Amount $453,000
Funding Scheme Discovery Projects