To access this element change to forms mode OFF
Grant Award View - GA28411-V1
Working synthetically in higher categorical structures
GA ID:
GA28411-V1
Agency:
Australian Research Council
Approval Date:
27-Nov-2018
Variation Publish Date:
21-Apr-2020
Variation Date:
21-Apr-2020
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
19-Jun-2019 to 18-Jun-2022
Value (AUD):
$453,000.00
(GST inclusive where applicable)
Varies:
GA28411
- Working synthetically in higher categorical structures
One-off/Ad hoc:
No
Aggregate Grant Award:
No
PBS Program Name:
ARC 18/19 Discovery
Grant Program:
Discovery Projects
Grant Activity:
Working synthetically in higher categorical structures
Purpose:
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.
GO ID:
GO Title:
Discovery Projects commencing in 2019
Internal Reference ID:
DP19 Round 1
Selection Process:
Targeted or Restricted Competitive
Confidentiality - Contract:
No
Confidentiality - Outputs:
No
Grant Recipient Details
Recipient Name:
Macquarie University
Recipient ABN:
90 952 801 237
Grant Recipient Location
Suburb:
MACQUARIE UNIVERSITY
Town/City:
MACQUARIE UNIVERSITY
Postcode:
2109
State/Territory:
NSW
Country:
AUSTRALIA
Grant Delivery Location
State/Territory:
NSW
Postcode:
2109
Country:
AUSTRALIA