Commit 2021-10-13 13:20 edf07cfbView on Github →
feat(topology/sheaves/sheaf_condition/sites): Connect sheaves on sites to sheaves on spaces (#9609)
Show that a sheaf on the site
opens X is the same thing as a sheaf on the space
X. This finally connects the theory of sheaves on sites to sheaves on spaces, which were previously independent of each other.