Discovery Projects - Grant ID: DP190102432

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP190102432

Funding Status
Active

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 19-06-2019

End Date: 25-06-2023

Funding Scheme: Discovery Projects

Funding Amount: $453,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Category Theory, K Theory, Homological Algebra | Pure Mathematics |

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Mathematical Sciences

Other Keywords

Category Theory, K Theory, Homological Algebra | Expanding Knowledge in the Mathematical Sciences | Pure Mathematics

Related Links