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

31 mai 2023,  


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

Colloque Topos Online / 24-30 June 2021


https://aroundtoposes.com/toposesonline


2017-2018


Lectures grothendickiennes (ENS, Paris)

http://www.math.ens.fr/seminaire_G

***

2015



* Discussion générale (27 novembre 2015)

Mathieu Anel : "Toposes are commutative rings"

Luca Barbieri-Viale : "T-Motives"

Jean Bénabou : "Very, almost, and so on, ... (when fragments of the language find their way into Topos Theory)"

Ingo Blechschmidt : Using the internal language of toposes in algebraic geometry

* Olivia Caramello (tutorials :) "Introduction to categorical logic, classifying toposes and the 'bridge' technique”

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"

Guilherme-Frederico Lima de Carvalho e Silva : From Essential Inclusions to Local Geometric Morphisms

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

Michel Vaquié : "Théorie spectrale en géométrie relative"

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)

Séances du séminaire "Théorie des catégories et ontologie plate" dirigé par Franck Jedrzejewski ( 6 mars 2014 - 10 avril 2014)

La dynamique en termes d'histoires, par Marc Lachièze-Rey (26 mars 2014), séminaire CLE

Interview de Jacques Roubaud par S. Dugowson, réalisation L. Honnorat (Innovaxiom), ENS, 20 mars 2014

Interview d'Alain Connes par A. Khélif et S. Dugowson, réalisation L. Honnorat (Innovaxiom), IHES, 5 mars 2014

Méta-heuristiques de la famille des essaims pour l'optimisation dynamique, par Peio Loubiere (Samoëns), 6 février 2014

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

Temps et incomplétude : genèse et développements de l’approche catégorique des MES, par Andrée Ehresmann (11 janvier 2014), au séminaire Mamuphi (ENS)

Dessins d'enfants, par Leila Schneps (11 décembre 2013), séminaire CLE

Construction de Fraïssé et topos, par O. Caramello (9 décembre 2013), au Séminaire général de logique (Paris 7)

Approche catégorique des processus de création et d'innovation collectives, par M. Béjean (7 décembre 2013), au séminaire Mamuphi (ENS)

Équivalence de Morita entre MV-algèbres et ℓ-groupes abéliens avec unité forte, par O. Caramello (5 décembre 2013), au séminaire "Algèbres d'opérateurs" (Paris 7)

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

Effet des grands cardinaux sur les "petits" objets, par Christophe Chalons (26 juin 2013) au séminaire CLE

Quantales et topos de Grothendieck, par Simon Henry (6 mars 2013)

Introduction au programme de Langlands et relation avec la théorie de Caramello, par Laurent Lafforgue (27 février 2013)

Les topos de Grothendieck comme ponts unificateurs des mathématiques, par Olivia Caramello (janvier 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.

(cité par Yves André

***

Grothendieck sur le site CLE

****

Interview de Jean Bénabou

"Ma rencontre avec Grothendieck"

http://youtu.be/biQKcTmsIwY?t=33m23s

***

Interview de Pierre Cartier

Développer la théorie des schémas à partir de 0...  


Interview d'Alain Connes

"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 !"

***

Interview d'Olivia Caramello

*

Cours d'Olivia Caramello sur les topos de Grothendieck

***

Interview d'Andrée Ehrsemann

***

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