Séminaire CLE
Catégories, Logique, Etc...
Ce site vise à rassembler des documents, et notamment des vidéos d'exposés, soit directement issus du déroulement du séminaire CLE, soit provenant d'autres lieux mais touchant aux thèmes du séminaire : catégories, logiques, etc...
Les séances ont lieu généralement* en présentiel
mercredi de 16h00 à 18h00,
Université Paris Diderot,
***
amphitéatre Buffon - RH04B- 30 15 Rue Hélène Brion, 75013 Paris
(*) Pour être informé de la tenue effective des séances et des contenus, contacter le responsable du séminaire, Anatole Khelif.
Prochaines séances : septembre 2023
Quelques séances récentes du séminaire CLE
Stéphane Dugowson
Sur la logique quantique
Jacques Van de Wiele
10 mai 2023
Mirna Dzamonja
22 mars 2023
Champ sémantique de Führung
Léonore Bazinek
8 mars 2023
Sur la logique modale
Jean Jacques Rozenbaum
22 février 2023
Complexe de Farey. Conjecture de Tajine-Daurat étendue
Saab Abou Jaoudé
8 février 2023
Hamiltonien et lagrangien
par Anatole Khélif
25 janvier 2023
SO3 , hamiltonien et lagrangien
Jean Jacques Rozenbaum
18 janvier 2023
Treillis distributifs
Jean Camille d’Ornano
4 janvier 2023
Hamiltonien et lagrangien
par Anatole Khélif
25 janvier 2023
SO3 , hamiltonien et lagrangien
Jean Jacques Rozenbaum
18 janvier 2023
Treillis distributifs
Jean Camille d’Ornano
4 janvier 2023
Connexions
Anatole Khélif
7 décembre 2022
La fondation de la science psychologique par Johann Friedrich Herbart (1776-1841) : Une approche métaphysique et mathématique à l’intériorité humaine
par Léonore Bazinek
23 novembre 2022
Echelles asymptotiques et usages en analyse
Dimitris Scarpalezos
9 novembre 2022
Un avant-goût de la géométrie de Finsler
par Jean-Pierre Laffineur
26 octobre 2022
Les grandes questions de la physique théorique actuelle
un débat proposé par Didier Corcessin
28 septembre 2022
***
Liste "complète" des exposés : https://sites.google.com/site/logiquecategorique/sem
O. Caramello : Theories, Sites, Toposes, Oxford University Press, 2017.
https://global.oup.com/academic/product/theories-sites-toposes-9780198758914
Rediffusion de l'émission La méthode scientifique, du 17 février 2022 sur France Culture, consacrée à Grothendieck et aux topos,
avec :
Olivia Caramello,
Alain Connes,
Laurent Lafforgue
et un reportage audio de Céline Loozen dans une librairie à Paris où se trouvent des dizaines de milliers de pages écrites d'Alexandre Grothendieck.
Une émission conçue par Céline Loozen et animée par Nicolas Martin .
En mathématiques, il faut jouer avec l'imagination, par David Bessis
David Bessis parle d'Alexandre Grothendieck et de la nature des mathématiques...
2016
2015
* Discussion générale (27 novembre 2015)
Mathieu Anel : "Toposes are commutative rings"
Luca Barbieri-Viale : "T-Motives"
Ingo Blechschmidt : Using the internal language of toposes in algebraic geometry
Anna Carla-Russo : Morita-equivalences for MV-algebras (with O. C.)
* Pierre Cartier : Conférence Inaugurale
Caterina Consani : "On the geometry of the adele class space of Q"
Thierry Coquand : "logic and topology"
Simon Henry : "Operator algebras from toposes"
Camell Kachour :Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos
* André Joyal : "New variations on the notion of topos" + * (tutorials :) "A crash course in topos theory: the big picture"
Mike Prest : "Model-theoretic imaginaries and localisation for additive categories"
David Michael Roberts : Class forcing and topos theory
Urs Schreiber : "Synthetic prequantum field theory in a cohesive homotopy topos"
Alex Simpson : Probability sheaves
Carlos Simpson : "Pre-buildings as sheaves on the site of enclosures"
Christopher F. Townsend : There are categories of `spaces' that are not categories of locales
Autres exposés donnés en 2015
Autocatégories, (5 mai 2015) par René Guitart
La théorie des « ponts » topos théoriques (5 mai 2015) par Olivia Caramello
Nécessaires ou accessoires : le cas des catégories triangulées (5 mai 2015) par Jean-Pierre Marquis
Catégories supérieures et catégories stables (5 mai 2015), par Mathieu Anel
Haro sur les ensembles (6 mai 2015) par Jean Bénabou
Difféologie symplectique, par Patrick Iglesias-Zemmour (15 avril 2015), séminaire CLE
2013-2014
Le rôle des catégories en mathématiques, mercredi 17 décembre 2014, CLE (Paris 7) : débat entre Jean Bénabou et Saab Abou-Jaoudé avec la participation de Pierre Cartier, Pierre Schapira, Marc Lachièze-Rey, René Cori, Gerard Grimberg, Dimitri Scarpalezos, Anatole Khélif et Stéphane Dugowson.
Interview d'Olivia Caramello (15 juillet 2014), par A. Khélif et S. Dugowson
Connectivity structures of quantum entanglement, by Stéphane Dugowson (June 18, 2014)
Mathématiques illuminatrices, par Stéphane Dugowson (15 juin 2014), La ralentie.
Spans and the Categorified Heisenberg Algebra, by John Baez (May 21, 2014)
Interview de Pierre Cartier (20 mai 2014), par A. Khelif et S. Dugowson
Interview d'Anatole Khelif par S. Dugowson (15 mai 2014)
Interview de Stéphane Dugowson par A. Khelif (15 mai 2014)
Conjecture de Connes-Kirchberg et degrés ludiques FMQ, par A. Khélif (7 et 14 mai 2014)
La dynamique en termes d'histoires, par Marc Lachièze-Rey (26 mars 2014), séminaire CLE
Voyages dans le temps, par Marc Lachièze-Rey (29 janvier 2014) séminaire CLE
Variétés stochastiques, par Anatole Khélif (22 janvier 2014) séminaire CLE
Dessins d'enfants, par Leila Schneps (11 décembre 2013), séminaire CLE
Interview de Paul Braffort (3 décembre 2013), par S. Dugowson, réalisation L. Honnorat
Exposés du séminaire itinérant des catégories du 16 novembre 2013
(M. Gran, A. Rodin, T. Linden, S. Henry, O. Caramello, ...)
Les catégories pour philosophes, cours de S. Dugowson, Paris 7 (nov. 2013)
Dualité de Chalons, par Saab Abou-Jaoudé (2 octobre 2013), au séminaire CLE
Quantales et topos de Grothendieck, par Simon Henry (6 mars 2013)
Hommage à
Alexandre Grothendieck
28 mars 1928 (Berlin) - 13 novembre 2014 (Saint-Girons)
C’est le thème du topos qui est ce « lit » où
viennent s’épouser la géométrie et l’algèbre,
la topologie et l’arithmétique, la logique mathématique
et la théorie des catégories, le monde du continu
et celui des structures « discontinues » ou « discrètes ».
Il est ce que j’ai conçu de plus vaste, pour saisir avec finesse,
par un même langage riche en résonances géométriques,
une « essence » commune à des situations
des plus éloignées les unes des autres. »
A. Grothendieck, Récoltes et Semailles, p. 59.
***
****
"Ma rencontre avec Grothendieck"
http://youtu.be/biQKcTmsIwY?t=33m23s
***
Développer la théorie des schémas à partir de 0...
"Ce qui est merveilleux avec la théorie des topos c'est d'avoir une "machine à café" bien chauffée qui, si on y met les bons ingrédients, on a une aide à la pensée merveilleuse, donnant les bons problèmes, les bonnes questions. Par exemple, si je vous donne les entiers multiplicatifs, bon, vous allez me dire "bon d'accord, il y a les nombres premiers, et puis alors ?". Or, les point du topos (de ça) forment un certain espace non-commutatif connu !"
***
*
Cours d'Olivia Caramello sur les topos de Grothendieck
***
***
Agora des savoirs - Bertrand Toen Hommage à Alexandre Grothendieck
***
[Une découverte au sujet des cartes cellulaires] a été le point de départ et le premier matériau de cet autre rêve mathématique, de dimensions comparables à celui des motifs, qui a commencé à prendre forme seulement trois ans après (janvier-juin 1981), avec "La Longue Marche à travers la théorie de Galois". Ces notes et d’autres de la même période (dans les deux mille pages manuscrites) constituent une toute première tournée à travers ce "continent nouveau" qu’une remarque triviale sur un dessin d’enfant m’avait fait entrevoir.
A. Grothendieck, Récoltes et Semailles, p. 307
***
Exposé de Leïla Schneps sur la théorie de Grothendieck des dessins d'enfants
*******
Jacques Riguet (1923-2013)
************
La vidéo youtube du moment
(sélection du webmaster)
Alain Connes et Hervé Zwirn - Collège de France, Paris - Juin 2021