Table des matières de la page
Prise de vue et montage : S. Dugowson
Categorical preliminaries
Review of the theory of Grothendieck toposes and the relevant categorical background: limits, colimits, exponentials, subobject classifier, associated sheaf functor, subcanonical sites, morphisms of sites, geometric morphisms, flat functors, the Comparison Lemma
Remarque du webmaster et qui n'engage que lui : une topologie de Grothendieck est une structure de recouvrement dont on munit une catégorie qui, dans le cas de référence de la topologie usuelle, est déjà une topologie. Il est donc important de bien distinguer les deux niveaux : celui de la petite catégorie considérée (par exemple une topologie sur un ensemble), et celui de la structure de recouvrement (topologie de Grothendieck sur la petite catégorie considérée).
Ici, ma caméra est tombée en panne sèche... J'ai donc poursuivi avec mon téléphone :