The Joyal model structure serves as a fundamental framework for simplicial sets, identifying a specific Quillen model structure where weak equivalences represent a generalization of both categorical equivalence and Kan equivalence. Developed by Canadian mathematician André Joyal, this contribution remains a central pillar in the application of higher category theory within contemporary mathematics.
Academic Trajectory
Born in 1943 in Drummondville, Quebec, Joyal pursued his higher education at the Université de Montréal. His professional career centers on the Université du Québec à Montréal, where he maintains his role as a professor. His influence in the field earned him election to the Royal Society of Canada and an invitation to the Institute for Advanced Study in 2013, specifically for the Special Year on Univalent Foundations of Mathematics.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Category Theory
Joyal focused his research on category theory and higher category theory. His work includes the invention of Kripke–Joyal semantics and the theory of combinatorial species. He collaborated with Myles Tierney to produce generalizations of established Galois theory in the context of locales. Furthermore, he explored quasi-categories, which were originally conceptualized by Michael Boardman and Rainer Vogt, eventually proving the existence of the model structure that now bears his name.
Collaborative Scholarship
Much of his output involves co-authored research that bridges distinct areas of mathematics. He worked with Ieke Moerdijk on the book Algebraic Set Theory and partnered with Ross Street on numerous papers concerning tensor calculus, braided tensor categories, and quantum groups. Recently, he initiated Joyal's CatLab, a web-based project designed to offer an expositional account of categorical mathematics.
Fast facts
- Born: 1943, Drummondville
- Education: Université de Montréal
- Primary Affiliation: Université du Québec à Montréal
- Field of Study: Category Theory
- Awards: Acfas Urgel-Archambeault Award (1982)
- Professional Membership: Royal Society of Canada
- Notable Contribution: Joyal model structure
Questions readers ask
What is the Joyal model structure?
It is a model structure on the category of simplicial sets where weak equivalences generalize both Kan equivalence and category equivalence.
What are combinatorial species?
This is a theory developed by Joyal within the field of category theory.
Achievements
- Held posts at Université du Québec à Montréal
- Fields: category theory
