Commit 2021-11-04 20:30 74c27b25

View on Github →

feat(topology/sheaves): Pullback of presheaf (#9961) Defined the pullback of a presheaf along a continuous map, and proved that it is adjoint to pushforwards and it preserves stalks.

Estimated changes