André Joyal
André Joyal | |
|---|---|
| Born | February 25, 1943 Drummondville, Quebec, Canada |
| Known for | Quasi-categories Combinatorial species Joyal model structure Kripke–Joyal semantics |
| Scientific career | |
| Fields | Category theory Homotopy theory |
| Institutions | Université du Québec à Montréal |
André Joyal (French: [ʒwajal]; born 1943) is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013, where he was invited to join the Special Year on Univalent Foundations of Mathematics.