André Joyal
E780163
André Joyal is a Canadian mathematician renowned for his influential work in category theory, including the development of Joyal's theory of species and contributions to higher-dimensional category theory and topos theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| André Joyal canonical | 1 |
Statements (43)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ |
| academicDiscipline | pure mathematics ⓘ |
| countryOfCitizenship | Canada ⓘ |
| fieldOfWork |
category theory
ⓘ
combinatorics ⓘ higher-dimensional category theory ⓘ mathematics ⓘ topos theory ⓘ |
| hasAcademicEmployer | Université du Québec à Montréal NERFINISHED ⓘ |
| hasCollaborationWith |
F. William Lawvere
NERFINISHED
ⓘ
Ieke Moerdijk NERFINISHED ⓘ Joachim Kock NERFINISHED ⓘ Myles Tierney NERFINISHED ⓘ Ross Street NERFINISHED ⓘ Tom Leinster NERFINISHED ⓘ |
| hasNotableConcept |
Joyal model structure on simplicial sets
NERFINISHED
ⓘ
Joyal–Tierney theory in topos theory NERFINISHED ⓘ analytic functor (in the sense of species) ⓘ quasi-category (Joyal model) NERFINISHED ⓘ species of structures ⓘ |
| hasResearchInterest |
combinatorial species
ⓘ
foundations of higher categories ⓘ homotopy theory in a categorical setting ⓘ structural combinatorics ⓘ toposes and logic ⓘ |
| influenced |
applications of category theory to combinatorics
ⓘ
development of higher category theory ⓘ research in combinatorial species ⓘ |
| isKnownFor |
bridging combinatorics and category theory
ⓘ
foundational work on higher categories via simplicial sets ⓘ rigorous categorical treatment of combinatorial structures ⓘ |
| languageOfWorkOrName |
English
ⓘ
French ⓘ |
| notableFor |
Joyal's theory of species
NERFINISHED
ⓘ
contributions to higher category theory ⓘ contributions to topos theory ⓘ work in categorical combinatorics ⓘ work on categorical foundations of mathematics ⓘ work on monoidal categories ⓘ work on operads ⓘ work on quasi-categories ⓘ |
| workLocation | Montreal NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.