Commit 2021-01-07 21:43 18ba69b7
View on Github →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.
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.