André JOYAL - 1/4 A crash course in topos theory : the big picture

(1:13:22)

TRIUMPH ANDRÉ JOYAL MOTO | MOTOVLOG QUEBEC

(4:59)

HoTT is a Polyvalent Foundation of Mathemtics - Andre Joyal

(1:52:22)

André JOYAL - New variations on the notion of topos

(1:10:41)

A cartesian closed category of algebraic theories André Joyal

(34:9)

On Voevodsky's univalence principle - André Joyal

(1:22:50)

André Joyal: \

(1:14:11)

André Joyal - Higher sheaves

(1:10:39)

André Joyal. Geometric aspects of topos theory in relation with logical doctrines

(1:13:49)

MasterChef Canada judges get their skills tested in the Star test kitchen

(1:17)

Triumph Thruxton 1200R Arrows headers and Remus mufflers. Exhaust sound, start, stationary, riding

(1:3)

The Greatest Quick of All Time? Marshall Blows England Away in Classic! | Eng v WI 1984 | Lord's

(4:31)

General discussion

(1:4:31)

Andre Blumberg - Founder of Hong Kong Four Trails Ultra Challenge

(1:34:36)

TOP 5 Motos Débutants | MOTOVLOG QUEBEC

(7:2)

Deux (deux?) minutes pour la conjecture de Poincaré

(23:33)

Hommage Claude Joyal

(18:20)

Olivia Caramello - Grothendieck toposes and their role in Mathematics

(1:19:14)

Germain Leduc joue \

(3:34)

André JOYAL - 3/4 A crash course in topos theory : the big picture

(1:19:10)

André JOYAL - 2/4 A crash course in topos theory : the big picture

(45:47)

André Joyal: \

(1:35:52)

André Joyal \

(1:23:20)

Campbell - Joyal's cylinder conjecture

(25:34)

Séminaire France-Québec, 5 et 6 février 2015, André JOYAL

(5:7)

André JOYAL - 4/4 A crash course in topos theory : the big picture

(1:3:21)

Cayley's tree formula (after Andre Joyal)

(11:40)

André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b

(1:43:33)