skyscraper): stalk functor is adjoint to skyscraper functor (#16790)

Commit

3 years ago

feat(topology/sheaves/skyscraper): stalk functor is adjoint to skyscraper functor (#16790)

Author

jjaassoonn

Parents