Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory

Project: Research project

Project Details

Description

Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
StatusActive
Effective start/end date1/15/21 → 1/14/25

Funding

  • UNIVERSITY OF SAN DIEGO
  • USDOD AIR FORCE