#GrothendieckTopos suite de l’exposé de Laurent Lafforgue sur les topos de Grothendieck

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

La vidéo qui est ici :

https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos

s’arrête à 1h04 et n’inclut malheureusement pas  les parties II et III qui sont les plus importantes.

La vidéo complète est paraît il ici :

https://www.math.sciences.univ-nantes.fr/fr/video/2000

où je ne la trouve pas.

Dans ces conditions ne reste que l’article :

https://www.laurentlafforgue.org/math/OCLLNotesCourtes.pdf

qui est très résumé.

Les paragraphes 0 et  1  de la section I ont  été vus dans l’article précédent et sont contenus dans la vidéo disponible.

Le 2 sur les sous-Topos d’un topos est expliqué aussi dans la vidéo : étant donné un Topos E, un sous-Topos, c’est à dire un sous-objet dans la 2-catégorie Topos est une classe d’équivalence de morphismes dirigés vers E.

On a vu plus haut qu’un morphisme de topos est un couple de foncteurs adjoints : (F,G)

La condition (découverte par Grothendieck ) pour qu’on ait un plongement d’un sous-Topos dans un topos , un monomorphisme …

Voir l’article original 415 mots de plus

Publicités

Répondre

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google

Vous commentez à l'aide de votre compte Google. Déconnexion /  Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion /  Changer )

Connexion à %s