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.