Research Grant
[Cite as https://purl.org/au-research/grants/arc/DP190102432]Researchers: A/Prof Stephen Lack (Chief Investigator) , Dominic Verity (Chief Investigator) , Em/Prof Ross Street (Chief Investigator) , Richard Garner (Chief Investigator)
Brief description 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.
Funding Amount $453,000
Funding Scheme Discovery Projects
- PURL : https://purl.org/au-research/grants/arc/DP190102432
- ARC : DP190102432