Definition 2.66. The Grothendieck topology on is the one with special domains as admissible open sets and finite covering as admissible coverings. One notes for the space with this G-topology.
Verified tagged author-source HTML ยท 1904.03696v1 ยท cited publication edition alignment unverified.