Definition
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category that makes the objects of act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.
Related concepts
Abelian groupAdjoint functorsAlexander GrothendieckAlexandre GrothendieckAlgebraic geometryAlgebraic number theoryAlgebraic varietyAnalytic geometryAndré WeilBijectionCategory (mathematics)Category of abelian groupsCategory theoryCdh topologyClosed immersionCohomologyComma categoryContravariant functorCover (topology)Crystalline cohomologyDescent (category theory)Divided power structureEqualizer (mathematics)Fibered categoryFibered productFinal objectFlat cohomologyFlat topologyFundamental groupGeometric morphismGluing axiomHistory of topos theoryIf and only ifIndiscrete topologyInfinitesimalIntegerJean-Louis VerdierJean-Pierre SerreJean Giraud (mathematician)John Tate (mathematician)Lawvere–Tierney topologyList of topologies on the category of schemesManifoldMathematicsMichael ArtinMichel DemazureModule (mathematics)Nilradical of a ringNisnevich topologyOpen coverOpen immersionOpen setPolynomial equationPresheaf (category theory)Princeton University PressPullbackReduced (ring theory)Rigid analytic geometryRing (mathematics)Scheme (mathematics)Sheaf (mathematics)Sieve (category theory)Sober spaceSpringer Science+Business MediaSubfunctorSéminaire de Géométrie Algébrique du Bois MarieTopological spaceToposWeil conjecturesYoneda embeddingYoneda lemmaZariski topologyÉtale cohomologyÉtale mapÉtale topologyℓ-adic cohomology
8 concepts already in your glossary