André Joyal A crash course in topos theory: the big picture
On Voevodsky's univalence principle - André Joyal
André JOYAL - 1/4 A crash course in topos theory : the big picture
André JOYAL - New variations on the notion of topos
General discussion
Cayley's tree formula (after Andre Joyal)
A cartesian closed category of algebraic theories André Joyal
HoTT is a Polyvalent Foundation of Mathemtics - Andre Joyal
André Joyal - Higher sheaves
André Joyal. Geometric aspects of topos theory in relation with logical doctrines
TRIUMPH ANDRÉ JOYAL MOTO | MOTOVLOG QUEBEC
André JOYAL - 3/4 A crash course in topos theory : the big picture
André Joyal "Three mutations of topos theory" Thursday, February 15, 2018
André Joyal: "Higher topos theory and Goodwillie Calculus"
André JOYAL - 4/4 A crash course in topos theory : the big picture
André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b
André JOYAL - 2/4 A crash course in topos theory : the big picture
CT2024, André Joyal: Free bicompletion of categories and of ∞-categories
André Joyal: "Free bicompletion of categories revisited (part 1)"
Séminaire France-Québec, 5 et 6 février 2015, André JOYAL
