#GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Suite de l’étude du cours d’Olivia Caramello sur les topoi de Grothendieck:

https://renatuscartesiusmathesisuniversalis.wordpress.com/2015/07/01/grothendiecktopos-3-topologie-de-grothendieck-sur-une-categorie/

cours qui 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-site.-Topos-de-Grothendieck

Aujourd’hui nous étudions la video 5:

Faisceaux sur un site, topos de Grothendieck

Un site est simplement une catégorie arbitraire C à laquelle on associe une topologie de Grothendieck

La notion de topologie de Grothendieck a été vue dans #GrothendieckTopos 3 (lien donné au début de cet article).
Pour l’instant, sauf bien sûr si vous êtes déjà familier avec ces notions (auquel cas vous n’avez pas besoin de perdre votre temps à lire cet article, qui est juste une paraphrase du cours d’Olivia), je vous conseille de ne pas trop perdre de temps avec les détails des notions nouvelles introduites : crible, site, famille j-couvrante, etc..
Retenez par contre l’équivalent anglais de ces mots :

Crible = sieve

Topologie de Grothrndieck = Grothendieck topology

Préfaisceau = presheaf, presheaves

Faisceau = sheaf, sheaves

View original post 380 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