abelian): category of sheaves is abelian (#16403)

Commit

3 years ago

feat(topology/sheaves/abelian): category of sheaves is abelian (#16403) and that sheafification functor is additive

Author

jjaassoonn

Parents