#GrothendieckTopos 6 exemples classiques de topologies de Grothendieck

Autrement qu'être Mathesis uni∜ersalis : 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

Laisser un commentaire

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 )

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 )

Photo Google+

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

Connexion à %s