Grothendieck topology
alexander grothendieck
['louis boyer', 'gridshell', 'linear', 'ephraim shay', 'hendrik van gent', 'gotthold ephraim lessing', 'edwin mcmillan', 'humphry davy', 'kant', 'henri cartan', 'purple mountain observatory', 'oak ridge observatory', 'michael faraday', 'hyperboloid', 'lewis swift', 'clyde tombaugh', 'carl friedrich gauss', 'niels bohr', 'isaac newton', 'tsutomu seki', 'loneos', 'marija gimbutas', 'kirchhoff', 'grigory neujmin', 'lyudmila chernykh', 'kazuro watanabe', 'lee de forest', 'nauchnyj', 'schelte bus', 'indiana asteroid program', 'birmingham university', 'seymour papert', 'hyperloop', 'alessandro malaspina', 'urbain le verrier', 'george van biesbroeck', 'nicolas bourriaud', 'rudolf diesel', 'chad trujillo', 'icao', 'james watt', 'carl wirtanen', 'nanking', 'franz anton mesmer', 'vapnik', 'ole kirk christiansen', 'marie curie', 'bill mollison', 'carl wilhelm scheele', 'sir winston churchill', 'henry bessemer', 'harold urey', 'harlow shapley', 'ernest rutherford', 'henry holt', 'edwin hubble', 'pieter zeeman', 'crimean astrophysical observatory', 'christopher latham sholes', 'auguste charlois', 'brouwer', 'george maciunas', 'james bradley', 'herschel', 'robert luther', 'johan gadolin', 'robert bunsen', 'august derleth', 'eleanor helin', 'carlos torres', 'cyril jackson', 'miguel itzigsohn', 'heinrich schenker', 'stallman', 'gerry anderson', 'eric elst', 'paolo maffei', 'evangelista torricelli', 'odin', 'microsoft', 'ptolemy', 'turing', 'claude chappe', 'moog', 'gustav rose', 'sir nigel gresley', 'edward bowell', 'mikhail lazarev', 'arnold schoenberg', 'lord rayleigh', 'george berkeley', 'kin endate', 'conway', 'nikolai stepanovich chernykh', 'august kopff', 'bartolomeo cristofori', 'lionel penrose', 'ernest hemingway', 'john grinder']
Grothendieck topology
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site. Grothendieck topologies axiomatize the notion of an open cover. Using the notion of covering provided by a Grothendieck topology, it becomes possible to define sheaves on a category and their cohomology. This was first done in algebraic geometry and algebraic number theory by Alexander Grothendieck to define the étale cohomology of a scheme. It has been used to define other cohomology theories since then, such as l-adic cohomology, flat cohomology, and crystalline cohomology. While Grothendieck topologies are most often used to define cohomology theories, they have found other applications as well, such as to John Tate's theory of rigid analytic geometry. There is a natural way to associate a site to an ordinary topological space, and Grothendieck's theory is loosely regarded as a generalization of classical topology. Under meager point-set hypotheses, namely sobriety, this is completely accurate—it is possible to recover a sober space from its associated site. However simple examples such as the indiscrete topological space show that not all topological spaces can be expressed using Grothendieck topologies. Conversely, there are Grothendieck topologies which do not come from topological spaces.