André Joyal headshot
Past Member

André Joyal

Funding provided by the Charles Simonyi Endowment

Affiliation

Mathematics

Field of Study

Category Theory, Homotopy Theory, Logic

Home Institution

Université du Québec à Montréal
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