Bonjour,
Soitun espace topologique.
Soitun faisceau sur
.
Soitun ouvert de
.
Soitl'ensemble des voisinages de
, filtrant pour l'ordre opposé à l'inclusion.
Soitun diagramme commutatif filtrant dans la catégorie
.
Pourquoi la limite inductive deest le faisceau :
?.
Merci d'avance.
-----