Past Member

André Joyal

Field of Study
Category Theory, Homotopy Theory, Logic
From 1/2013 – 4/2013:

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
  • Mathematics
1/20134/2013 Spring