Commit 2024-11-11 14:39 62e66dcf
View on Github →feat(AlgebraicGeometry): the big etale site (#18854)
For any morphism property P, we define the pretopology on the category of schemes defined by P as jointly surjective families of morphisms satisfying P. As an application, this is used to define the étale site.
The small site associated to P and with it the small étale site comes in a follow-up PR.