André Joyal Explained

André Joyal
Birth Date:25 February 1943
Birth Place:Drummondville, Quebec, Canada
Fields:Category theory
Homotopy theory
Workplaces:Université du Québec à Montréal
Known For:Quasi-categories
Combinatorial species

André Joyal (in 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,[1] where he was invited to join the Special Year on Univalent Foundations of Mathematics.[2]

Research

He discovered Kripke–Joyal semantics,[3] the theory of combinatorial species and with Myles Tierney a generalization of the Galois theory of Alexander Grothendieck[4] in the setup of locales. Most of his research is in some way related to category theory, higher category theory and their applications. He did some work on quasi-categories, after their invention by Michael Boardman and Rainer Vogt, in particular conjecturing[5] and proving the existence of a Quillen model structure on the category of simplicial sets whose weak equivalences generalize both equivalence of categories and Kan equivalence of spaces. He co-authored the book "Algebraic Set Theory" with Ieke Moerdijk and recently started a web-based expositional project Joyal's CatLab [6] on categorical mathematics.

Personal life

Joyal was born in Drummondville (formerly Saint-Majorique). He has three children and lives in Montreal.

Bibliography

10.1006/aima.1993.1055. Braided Tensor Categories . 1993 . Joyal . A. . Street . R. . . 102 . 20–78 . free . ; 10.1016/0022-4049(91)90039-5. Tortile Yang-Baxter operators in tensor categories . 1991 . Joyal . André . Street . Ross . . 71 . 43–51 . free .

External links

Notes and References

  1. http://www.ias.edu/people/cos/users/jandre Institute for Advanced Study: A Community of Scholars
  2. https://www.math.ias.edu/sp/univalent IAS school of mathematics: Univalent Foundations of Mathematics
  3. Robert Goldblatt, A Kripke-Joyal semantics for noncommutative logic in quantales; Advances in Modal Logic 6, 209—225, Coll. Publ., London, 2006;
  4. 10.1090/MEMO/0309. An extension of the Galois theory of Grothendieck . 1984 . Joyal . André . Tierney . Myles . . 51 . 309 . free .
  5. A. Joyal, A letter to Grothendieck, April 1983 (contains a Quillen model structure on simplicial presheaves)
  6. https://ncatlab.org/joyalscatlab/published Joyal's CatLab