Préfaisceau
Un préfaisceau sur un espace topologique X est un foncteur contravariant de la catégorie des ouverts de X dans une autre catégorie. On peut donc avoir des préfaisceaux d'ensembles, de groupes, d'anneaux ou de tout autre type d'objets...
C'est un objet qui sert essentiellement à définir la notion de faisceau.
Vocabulaire
Soit 
un préfaisceau sur un espace X.
Les éléments de 
, pour un ouvert U, sont appelés les sections du préfaisceau. Les éléments de 
sont appelés sections globales.
Lorsque 
sont des ouverts de X, l'application de 
induite par le préfaisceau est appelée restriction. D'ailleurs, la restriction d'une section s de U à V est notée s | V, comme la restriction d'une application.
Exemples
- sur tout espace topologique, on peut considérer le préfaisceau des fonctions constantes à valeurs dans n'importe quel ensemble;
- sur tout espace topologique, on peut considérer le préfaisceau des fonctions localement constantes à valeurs dans n'importe quel ensemble; c'est même un exemple de faisceau;
- sur une variété différentielle, on a le faisceau des fonctions
;
- sur une variété holomorphe, on a le faisceau des fonctions holomorphes.