ARC Future Fellowships - Grant ID: FT160100393

Funding Activity

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

Funding Status
Closed

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

Enriched categories: Applications in geometry and logic. The project aims to apply enriched categories to fields including algebraic and differential geometry and theoretical computer science. Enriched categories, introduced in Australia in the 1960s, underlie major mathematical results such as Grothendieck’s revolutionary work in algebraic geometry. Emerging scientific areas like higher differential geometry and homotopy type theory urgently need the formalism of enriched categories to be made applicable to them. Success in this could rapidly develop these areas and solidify Australia's position as a leading international force in mathematics.

Funded Activity Details

Start Date: 01-01-2017

End Date: 31-12-2021

Funding Scheme: ARC Future Fellowships

Funding Amount: $805,054.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