André Joyal (mathematician)
André Joyal (* 1943 in Drummondville ) is a Canadian mathematician. He deals with category theory and topo theory and application in algebra, logic, combinatorics, topology ( homotopy theory ).
Joyal is a professor at the Université du Québec à Montréal (UQAM).
He applied category theory to combinatorial games according to John Horton Conway and combinatorics (treatment of generating functions in the Combinatorial Species Theory) and is considered the discoverer of the Kripke-Joyal semantics named after him and Saul Kripke .
Over several decades, Joyal developed the theory of the quasi-categories introduced in 1973 by JM Boardman and Rainer Vogt .
In the late 1970s he developed a generalization of the Galois theory by Alexander Grothendieck with Myles Tierney , published in 1984 in the memoirs of the American Mathematical Society.
With Ross Street in the 1980s and 1990s, he dealt with categories with tensor products , braid and quantum group structures, motivated by applications in mathematical physics.
In the 1980s he developed a homotopy theory (of the type of model categories by Daniel Quillen ) on simplicial sets (Joyal model structure or model structure on quasi-categories)
He has been a Fellow of the Royal Society of Canada since 1993 .
Fonts
- with Myles Tierney: An extension of the Galois theory of Grothendieck , American Mathematical Society 1984
- with Ieke Moerdijk : Algebraic set theory , London Mathematical Society Lecture Note Series 220, Cambridge University Press 1995
- with Ross Street: Braided tensor categories. Adv. Math. 102 (1993) no. 1, 20-78.
Web links
- Literature by and about André Joyal (mathematician) in the bibliographic database WorldCat
- Homepage
- Joyal at nLab
- Interview, French
- Joyal's Catlab
- Videos by André Joyal in the AV portal of the Technical Information Library
Individual evidence
- ↑ Joyal Une théorie combinatoire des séries formelles , Advances in Mathematics, Volume 42, 1981, pp. 1-82
- ^ François Bergeron, Gilbert Labelle, Pierre Leroux Combinatorial species and tree like structures , Cambridge University Press 1998
- ^ Boardman, Vogt Homotopy invariant algebraic structures in Topological Spaces , Springer Lecture Notes in Math. 347
- ↑ In an unpublished work Theory of quasi categories I
| personal data | |
|---|---|
| SURNAME | Joyal, André |
| BRIEF DESCRIPTION | Canadian mathematician |
| DATE OF BIRTH | 1943 |