Faisceautisation
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le processus qui associe à un préfaisceau le faisceau le plus proche qui lui coïncide sur les germes, en imposant les axiomes de localité et de recollement ; le résultat s'appelle le faisceau associé ou faisceautisation aF.