Search this site
Skip to main content
Skip to navigation
CLE = Catégories, Logiques, Etc...
Accueil
Exposés du séminaire CLE
Catégories esquissables avec objet terminal, par A. Molinier (01/03/2021)
Complexification et émergence, par A. Ehresmann (22 février 2021)
Deux théorèmes de Gödel et leurs conséquences philosophiques, par Anatole Khélif (17 septembre 2020)
Trois métaphysiques du point, par Stéphane Dugowson (24 juin 2020)
champs browniens, par Anatole Khélif (3 juin 2020)
Applications Lorentz-invariantes dans un Hilbert, A. Khelif (20 mai 2020)
Chronon, S. Dugowson et P.M. Klein, 5 juin 2019
Sur la construction de Grothendieck, par Jean Bénabou (13 mars et 22 mai 2019)
Théorie du premier ordre associée à une esquisse, par Alain Molinier (30 janvier 2019)
Homotopy Theory for Connective Spaces, by Philip Turk (May 30th, 2018)
Sur la géométricité des morphismes connectifs (notamment dans le cas fini), par Stéphane Dugowson (3 mai 2017)
Géométrie non commutative et difféologie : le cas des orbifolds, par Jean-Pierre Laffineur (26 avril 2017)
Introductions aux (∞,m)-catégories multiples, par C. Kachour (1er mars 2017)
Topos associé à un espace connectif, par S. Dugowson (7 décembre 2016)
C. Kachour, 23 novembre 2016 (∞,n)-ensembles cubiques
S. Dugowson, 7 septembre 2016 Synchronisations souples et inversions tempor
Un théorème de stabilité pour l'interaction sous-fonctorielle, par S. Dugowson (25 mai 2016)
"Une introduction à la théorie homotopique des types", par Aurélien Alvarez (13 avril 2016)
Semi-groupes de Clifford, par Jean-Pierre Laffineur (10 février 2016)
"La conjonction est-elle un connecteur multiplicatif ou un connecteur additif ?" par Alain Prouté (6 janvier 2016)
Catégorification des degrés ludiques, par Christophe Chalons (9 et 16 décembre 2015)
Equivalences de groupoïdes difféologiques, par Jean-Pierre Laffineur (16 septembre 2015)
Vers l'infini-catégorie faible des infini-catégories faibles dans le contexte globulaire, par Camell Kachour (11 septembre 2015)
[version 2] Vers l'infini-catégorie faible des infini-catégories faibles, par Camell Kachour (11 septembre 2015)
Injections virtuelles et relations multi-tables, par Saab Abou Jaoudé (1er juillet 2015)
Structure connective des relations multiples et des degrés ludiques, par Stéphane Dugowson (17 juin 2015)
Difféologie symplectique, par Patrick Iglesias-Zemmour (15 avril 2015)
SCQE
SCIQ
Conjecture de Connes Kirchberg et de caractérisation des degrés ludiques FMQ (2ème partie), par Anatole Khélif (14 mai 2014)
Conjecture de Connes Kirchberg et de caractérisation des degrés ludiques FMQ (1ère partie), par Anatole Khelif (7 mai 2014)
Conjecture de Connes-Kirchberg et degrés ludiques FMQ, par A. Khelif (mai 2014)
Algèbres de de fonctions généralisées : un outil pour l'analyse, par Dimitri Scarpalezos (2 avril 2014)
Effet des grands cardinaux sur les "petits" objets, par Christophe Chalons (26 juin 2013)
Injections virtuelles, par Anatole Khélif (24 septembre 2014)
La dynamique en termes d'histoires, par Marc Lachièze-Rey (26 mars 2014)
Spans and the Categorified Heisenberg Algebra, by John Baez (May 21, 2014)
Catégories pour la physique, par Marc Lachièze-Rey (27 mars 2014)
Voyages dans le temps, par Marc Lachièze-Rey (29 janvier 2014)
Variétés stochastiques, par Anatole Khélif (22 janvier 2014)
Dessins d'enfants, par Leila Schneps (11 décembre 2013)
Dualité de Chalons, par Saab Abou-Jaoudé (2 octobre 2013)
Calcul propositionnel, logique intuitioniste, logiques superintuitionistes, logique modale: aspects sémantiques, par Jean-Jacques Rozenbaum (27 mars 2013)
Connexes de Farey et démonstration de la conjecture de Tajine-Daurat, par Saab Abou-Jaoudé (20 mars 2013)
Introduction au programme de Langlands et relation avec la théorie de Caramello, par Laurent Lafforgue (27 février 2013)
Exemple de caractérisation de C*-algèbres par ses sous-algèbres commutatives : une application du théorème de Gleason, par A. Khelif (13 février 2013)
Caractérisation d’invariants topos-théoriques en termes de sites, par O. Caramello (6 février 2013)
α-présentabilité des espaces difféologiques : combien vaut α ?, par Jean-Pierre Laffineur (11 septembre 2013)
Les nombres surréels, par A. Khélif (3 juillet 2013)
Quantales et topos de Grothendieck, par Simon Henry (6 mars 2013)
Degrés de Tukey, par C. Chalons (23 janvier 2013)
Théorie de Galois topologique, par Olivia Caramello (15 janvier 2013)
Diagrammes localement libres, par Christian Lair (19/12/2012 et 9/01/2013)
Conséquences de l'esquissabilité des espaces difféologiques, par Jean-Pierre Laffineur (10 novembre 2012)
Trames, par Alain Molinier (25 janvier 2012)
Topos Classifiant, par Jean-Pierre Laffineur (4 janvier 2012)
Les structures infinies et l'efficacité
Nombres et fonctions surréels
Autres exposés, séminaires et colloques
Collège International de Philosophie
Diderot (Paris 7)
Soutenance HDR d'Olivia Caramello, 14 décembre 2016 (Paris Diderot)
Séminaire Algèbres d'Opérateurs (Paris 7)
Séminaire Général de Logique
Théorie des catégories, dynamiques anciennes et nouvelles, mathématiques et philosophie. Colloque à Paris Diderot (5 et 6 mai 2015)
Guitart_AutoCat
Catégories supérieures et catégories stables, par Mathieu Anel (5 mai 2015)
Diagrammes, par Christian Lair
Diagrammes, par Christian Lair
Haro sur les ensembles (6 mai 2015), par Jean Bénabou
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, par Jean-Pierre Marquis (5 mai 2015)
Possibilités de principe et possibilités effectives
Remarques philosophiques sur les topologies de Grothendieck, par Jean-Jacques Szczeciniarz
Remarques philosophiques sur les topologies de Grothendieck, par Jean-Jacques Szczeciniarz
Topos, catégories et topologie, par S. Dugowson, à Diderot-Paris 7
Ecole Normale Supérieure (ENS)
Institut des hautes études scientifiques (IHES)
Visions en mathématiques - Institut Grothendieck - IHP (14 juin 2023)
Institut Henri Poincaré (IHP)
mamuphi / IRCAM
Nantes
Quartz-Supméca
Séminaire Itinérant des catégories (sic)
"Mathématiques, Métaphysique, Etc..."
Cours sur les Topos, par O. Caramello (janvier 2013)
Cours (1) du 14 janvier 2013 : rappels sur les topos de Grothendieck, par O. Caramello
Cours (2) du 15 janvier 2013 : topos classifiant d'une théorie, par O. Caramello
Cours (3) du 17 janvier 2013 : Construction des ponts, par O. Caramello
Cours (4) du 21 janvier 2013: équivalences de Morita, par O. Caramello
Cours (5) du 22 janvier 2013 : Arches (caractérisation d'invariants en termes de sites ), par O. Caramello
Cours (6) du 24 janvier 2013 : le théorème de dualité, par Olivia Caramello
Cours (7) du 28 janvier 2013 : construction de Fraïssé, complétude et descente, par O. Caramello
Cours (8) du 29 janvier 2013 : Spectres et dualités, par Olivia Caramello
Spectres et dualités (1) : introduction et références
Spectres et dualités (2) : une liste de dualités de type Stone
Spectres et dualités (3) : lemme de comparaison
Spectres et dualités (4) : description topos-théorique des dualités de type Stone
Spectres et dualités (5) : compactifications de Wallman
Spectres et dualités : cours (8) d'O. Caramello, 29 janvier 2013
cours (9) du 31 janvier 2012 : théorie de Galois topologique
Catégories syntactiques pour les motifs de Nori, par Laurent Lafforgue (IHES)
Hommage à Jean Bénabou (1932 - 2022)
Colloque en hommage à Jean Bénabou
Débat du 17 décembre 2014 : le rôle des catégories dans les mathématiques
Degrés ludiques
Ouvertures interdisciplinaires
[métaphysique] Le tout de l'espace infini, par Ion Sotiropoulos (13 mars 2013)
Autres vidéos, auxquelles nous n'avons pas participé
Séminaire inattendu : les opinions (et les croyances) obéissent-elles à des lois ? (CEVIPOF-Sciences Po / LIED-Paris-Diderot), Paris
Séminaire inattendu : séance inaugurale du 4 avril 2014
Contact Webmaster
CLE = Catégories, Logiques, Etc...
Jonas Frey : Realizability toposes as homotopy categories
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse