Separation Logic of Generic Resources via Sheafeology. - Berend van Starkenburg; Henning Basold; Chase Ford (CoRR, 2025)