Future Fellowships - Grant ID: FT160100393 [ 2016 - 2023 ]

Research Grant

[Cite as]

Researchers Dr Richard Garner

Brief description 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.

Funding Amount $805,054

Funding Scheme Future Fellowships

Click to explore relationships graph
Viewed: [[ro.stat.viewed]]