[Cite as http://purl.org/au-research/grants/arc/FT160100393]
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