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