#GrothendieckTopos 6 exemples classiques de topologies 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 ενοσοφια μαθεσις

J’avais écrit cinq articles à propos du cours donné en 2013 sur les topos de Grothendieck, le dernier article est ici:

https://mathesisuniversalis.wordpress.com/2015/07/30/grothendiecktopos-5-idee-centrale-du-cours-sur-les-topoi-de-grothendieck-comme-ponts-unifiants/

Et à chaque fois je donne le lien de l’article précédent donc on peut remonter de proche en proche…jusqu’au premier…
Le cours d’Olivia Caramello est ici :

https://sites.google.com/site/logiquecategorique/cours/topos_caramello/cours-du-14-janvier-2013-rappels-sur-les-topos-de-grothendieck#TOC-Faisceaux-sur-un-espace-topologique

En une vingtaine de vidéos numérotée de 1 à 23 (mais certains numéros manquent, comme le 10)

Nous avons étudié les six premières, aujourd’hui nous étudions la vidéo 7: « Exemples de topologies de Grothendieck (topologies usuelles; triviale; atomique) »

Commençons par rappeler les principales notions déjà vues :

Un topos de Grothendieck est une catégorie de la forme :

Sh (C, J)

Ou une catégorie équivalente à une catégorie de cette forme.

L’équivalence de catégories :

https://fr.m.wikipedia.org/wiki/Équivalence_de_catégories

est une notion plus faible que l’isomorphisme entre catégories (un foncteurs est un morphisme entre catégories, et c’est un isomorphisme s’il existe un morphisme…

View original post 1 155 mots de plus

Advertisements