mathlib
e68d2d78 - feat(category_theory/sites): category of sheaves (#5255)

Commit

5 years ago

feat(category_theory/sites): category of sheaves (#5255) Category of sheaves on a grothendieck topology (cc: @kckennylau)

Author

b-mehta

Parents