... A crash course in topos theory: the big picture" (I & II) by André Joyal 14h-17h : “Introduction to categorical logic, classifying toposes and the 'bridge ...

... (when fragments of the language find their way into Topos Theory)" * Ingo Blechschmidt : Using the internal language of toposes in algebraic ...

... (II) Presentable categories, "free toposes" and the Giraud's definition of toposes A useful principle is that a topos is a commutative ring-like object ...

... Lecture 4 Zariski topos Remarks about history of toposes Finite presentability, irreducible formulae and homogeneous models ...

... 1984] shows that the jump in generality from locales to toposes is not so very great and can be summed up in the slogan : "topos = locale + groupoid ...

Les topos de Grothendieck et les rôles qu'ils peuvent jouer en mathématiques, par Laurent Lafforgue (1er avril 2016, Nantes) ...

... le cours d' O. Caramello du 15 janvier 2013 : "topos classifiant d ... Johnstone & Butz Carsten Butz and Peter Johnstone, Classifying toposes for first ...

Construction de Fraïssé et topos, par Olivia Caramello (9 décembre 2013) ... Topos classifiant d'une théorie géométrique ...

Topos Classifiant, par Jean-Pierre Laffineur (4 janvier 2012) ... Les objets d'un topos peuvent être munis de toutes sortes de structures ...

De Gödel à Deligne : théorie des modèles et théorie des topos, par Sylvain Cabanacq (3 avril 2014). (Page en travaux) ...