skyscraper): define skyscraper presheaves and calculate stalks (#15934)

Commit

3 years ago

feat(topology/sheaves/skyscraper): define skyscraper presheaves and calculate stalks (#15934)

Author

jjaassoonn

Parents