This file lifts constructions of stalks and pushforwards of stalks to work with the category of presheafed spaces.