Sheafification: The left adjoint to the inclusion of sheaves in presheaves
Sheafinization: The tendency for any mathematical field to evolve, as it increases in complexity, towards a variation on topos theory