André JOYAL - 1/4 A crash course in topos theory : the big picture
About half of the topos theory of SGA4 is devoted to categorical generalities. They are now subsumed by the modern theory of (locally) presentable categories. I will sketch this theory, stressing the results that are important for topos theory. The category of
complete lattices and sup-preserving maps is a toy example of this theory.
Видео André JOYAL - 1/4 A crash course in topos theory : the big picture канала Institut des Hautes Études Scientifiques (IHÉS)
complete lattices and sup-preserving maps is a toy example of this theory.
Видео André JOYAL - 1/4 A crash course in topos theory : the big picture канала Institut des Hautes Études Scientifiques (IHÉS)
Показать
Комментарии отсутствуют
Информация о видео
3 декабря 2015 г. 17:52:19
01:13:22
Другие видео канала
![Olivia Caramello - 1/4 Introduction to categorical logic, classifying toposes...](https://i.ytimg.com/vi/KtNlItQOE9E/default.jpg)
![Motivation for a Definition of a Topos](https://i.ytimg.com/vi/LA4ULvikBzo/default.jpg)
![André JOYAL - 2/4 A crash course in topos theory : the big picture](https://i.ytimg.com/vi/4vxzK4LjFlY/default.jpg)
![Les topos de Grothendieck et les rôles qu'ils peuvent jouer en mathématiques](https://i.ytimg.com/vi/Wmhwaso_b3M/default.jpg)
![](https://i.ytimg.com/vi/gPHYt-kg6HY/default.jpg)
![MATHÉMATIQUES ET RÉALITÉ par Pierre Cartier](https://i.ytimg.com/vi/BqcKp6BDuoM/default.jpg)
![S1- E13 - Discover Bergamo in one day](https://i.ytimg.com/vi/49r1_hadDmM/default.jpg)
![Lecture 1: Invitation to topos theory](https://i.ytimg.com/vi/Tz3B21zuMSw/default.jpg)
![Yves André - Grothendieck et les équations différentielles](https://i.ytimg.com/vi/gG1wxAImQng/default.jpg)
![Old Town walk in Zurich, Switzerland | Spring 2021【4K】](https://i.ytimg.com/vi/HwPd5MBdUw8/default.jpg)
![Cohomology of Algebraic Varieties](https://i.ytimg.com/vi/uPtiTnwwYp4/default.jpg)
![Alain Connes - The power of the simplest arithmetic examples of Grothendieck toposes (part 1)](https://i.ytimg.com/vi/dDm0wxnawJE/default.jpg)
![Jean BÉNABOU - Very, almost, and so on, ...](https://i.ytimg.com/vi/_7uONqXQvp8/default.jpg)
![Ravi Vakil: Algebraic geometry and the ongoing unification of mathematics [Science Lecture]](https://i.ytimg.com/vi/vOboYNh_5is/default.jpg)
![Tutorial on Category Theory: Part 1 – Pure and Classical](https://i.ytimg.com/vi/6eWn9nG5d7o/default.jpg)
![Key Thinkers: Justin Clemens on Alain Badiou](https://i.ytimg.com/vi/2RikLzWRsWk/default.jpg)
![Chris Isham: "Topos theory in the formulation of theories of physics"](https://i.ytimg.com/vi/uELyjfR8kgI/default.jpg)
![Category Theory For Beginners: Topos Theory And Subobjects](https://i.ytimg.com/vi/o-yBDYgUqZQ/default.jpg)
![Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory](https://i.ytimg.com/vi/ZVreRhrtUyM/default.jpg)
![Francis Borceux - Some glances at topos theory (part 1)](https://i.ytimg.com/vi/s_fN9euuVAY/default.jpg)