mathlib
18ba69b7 - feat(category_theory/sites): category of sheaves on the trivial topology (#5651)

Commit

4 years ago

feat(category_theory/sites): category of sheaves on the trivial topology (#5651) Shows that the category of sheaves on the trivial topology is just the category of presheaves.

Author

b-mehta

Parents

3c5d5c51

mathlib 18ba69b7 - feat(category_theory/sites): category of sheaves on the trivial topology (#5651)

mathlib
18ba69b7 - feat(category_theory/sites): category of sheaves on the trivial topology (#5651)