André JOYAL - 2/4 A crash course in topos theory : the big picture Published 2015-12-03 Download video MP4 360p Download video MP4 720p Recommendations 1:19:10 André JOYAL - 3/4 A crash course in topos theory : the big picture 51:49 The joy of abstract mathematical thinking - with Eugenia Cheng 1:13:22 André JOYAL - 1/4 A crash course in topos theory : the big picture 26:20 A Sensible Introduction to Category Theory 47:18 Categorification of Fourier Theory 1:08:59 Algebraic Topology 0: Cell Complexes 1:53:51 ∞-Category Theory for Undergraduates 13:19 Teens surprise math world with Pythagorean Theorem trigonometry proof | 60 Minutes 1:04:05 Lecture 1: Invitation to topos theory 47:03 What do we mean by "equal" - Pierre Deligne 1:57:27 Richard Feynman: Quantum Mechanical View of Reality 1 1:19:14 Olivia Caramello - Grothendieck toposes and their role in Mathematics 19:22 Using topology for discrete problems | The Borsuk-Ulam theorem and stolen necklaces 18:25 The SAT Question Everyone Got Wrong 25:26 What is a Motive? - Pierre Deligne 04:18 Barry Mazur on algebraization 59:52 The Extraordinary Theorems of John Nash - with Cédric Villani 18:16 Who cares about topology? (Inscribed rectangle problem) 47:10 Why don't they teach Newton's calculus of 'What comes next?' 27:29 The unexpected logic behind rolling multiple dice and picking the highest. Similar videos 1:13:22 André Joyal A crash course in topos theory: the big picture 1:03:21 André JOYAL - 4/4 A crash course in topos theory : the big picture 1:03:34 A CRASH COURSE IN TOPOS THEORY: THE BIG PICTURE (4) 1:23:20 André Joyal "Three mutations of topos theory" Thursday, February 15, 2018 1:13:49 André Joyal. Geometric aspects of topos theory in relation with logical doctrines 1:10:41 André JOYAL - New variations on the notion of topos 1:13:06 Logic and Geometry in Topos theory and in Homotopy Type theory. Part 2. 29:49 Practical Category Theory: Functors 1:20:00 Olivia Caramello - 2/4 ntroduction to categorical logic, classifying toposes... 31:16 Category Theory: The Beginner's Introduction (Lesson 1 Explorations - Solutions) 30:31 Ming Ng - Adelic Geometry via Topos Theory 1:21:41 David Danks: "Ethics in AI, not Ethics of AI" 49:02 Jean-Claude Belfiore - Toposes for Wireless Networks: An idea whose time has come 1:14:05 Andreas Doering: "Topos mini-course 5" 00:14 "Portlandia (Experiment 2)" by Sean Zdenek (Kairos 23.1 Topoi) 55:23 Alex SIMPSON - Probability sheaves 29:55 Category Theory III 5.1, Eilenberg Moore and Lawvere 1:04:49 Jacob Tsimerman, Unlikely intersections and the André-Oort conjecture More results