Dualité de Serre7.5; Stacks Project, Tag 0A9X (lire en ligne). Hartshorne (1966), Corollary VII.3.4(c); Stacks Project, Tag 0B6I (lire en ligne); Stacks Project, Tag
Site (mathématiques)J)} . Il s'agit d'un topos de Grothendieck. (en) The Stacks project authors, « The Stacks projects » Riehl 2016, page 222. (en) Emily Riehl, Category Theory