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.
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.