Английская Википедия:André Joyal
Шаблон:Short description Шаблон:Infobox scientist
André Joyal (Шаблон:IPA-fr; 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 sSet 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
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite book
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite book
- Шаблон:Cite book
- Шаблон:Cite journal; Шаблон:Cite journal; Шаблон:Cite journal
- Шаблон:Cite journal
- André Joyal, Ieke Moerdijk, Algebraic set theory. London Mathematical Society Lecture Note Series 220. Cambridge Univ. Press 1995. viii+123 pp. Шаблон:ISBN
- André Joyal, Myles Tierney, Notes on simplicial homotopy theory, CRM Barcelona, Jan 2008 pdf
- André Joyal, Disks, duality and theta-categories, preprint (1997) (contains an original definition of a weak n-category: for a short account see Leinster's Шаблон:Arxiv, 10.2).
References
External links
- ↑ Institute for Advanced Study: A Community of Scholars
- ↑ IAS school of mathematics: Univalent Foundations of Mathematics
- ↑ Robert Goldblatt, A Kripke-Joyal semantics for noncommutative logic in quantales; Advances in Modal Logic 6, 209—225, Coll. Publ., London, 2006; Шаблон:MR
- ↑ Шаблон:Cite journal
- ↑ A. Joyal, A letter to Grothendieck, April 1983 (contains a Quillen model structure on simplicial presheaves)
- ↑ Joyal's CatLab
- Английская Википедия
- Living people
- 1943 births
- Category theorists
- 20th-century Canadian mathematicians
- 21st-century Canadian mathematicians
- Academic staff of the Université du Québec à Montréal
- People from Drummondville
- French Quebecers
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Английской Википедии
