Past Member
André Joyal
Funding provided by the Charles Simonyi Endowment
Affiliation
Mathematics
Field of Study
Category Theory, Homotopy Theory, Logic
From
–
André Joyal is working on the applications of category theory to homotopy theory, higher category theory, operads, and Koszul duality. He is interested in the foundation of homotopical logic. He plans to collaborate with Steve Awodey, Thierry Coquand, and Vladimir Voevodsky in the univalent foundations program.
Dates at IAS
Member
School of Mathematics
–
Spring