André Joyal

André Joyal is a Canadian mathematician, a professor at Université du Québec à Montréal. He got his PhD in 1971 from Université de Montréal. His wide mathematical work, is mainly in category theory, topos theory and abstract homotopy theory. His works include a wide generalization of Galois theory with Myles Tierney, the combinatorial ideas of “Joyal’s species”, discovery of the category structure on the collection of Conway combinatorial games, the discovery of Kripke-Joyal semantics, a series.