Sheafification

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The process that associates to a presheaf the closest sheaf which agrees with it on stalks, by enforcing locality and gluing axioms; the result is called the associated sheaf or sheafification aF.