Past Member

André Joyal

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