Commit 2023-10-29 21:47 8c5976ff
View on Github →feat: sheaves for unions of Grothendieck topologies (#7961) A presheaf is a sheaf for a union of two grothendieck topologies iff it is a sheaf for each separately.
feat: sheaves for unions of Grothendieck topologies (#7961) A presheaf is a sheaf for a union of two grothendieck topologies iff it is a sheaf for each separately.