Grothendieck Topology

A Grothendieck topology J on a category C is a collection, for each object c of C, of distinguished sieves on c, denoted by J(c) and called covering sieves of c. This selection will be subject to certain axioms, stated below. Continuing the previous example, a sieve S on an open set U in O(X) will be a covering sieve if and only if the union of all the open sets V for which S(V) is nonempty equals U; in other words, if and only if S gives us a collection of open sets which cover U in the classical sense.

Read more about Grothendieck Topology:  Sites and Sheaves, Continuous and Cocontinuous Functors

Other articles related to "grothendieck, grothendieck topology, topology":

Timeline Of Category Theory And Related Mathematics - 1981–1990
... transform 1982 Bob Walters Enriched categories with bicategories as a base 1983 Alexander Grothendieck Pursuing stacks Manuscript circulated from. 1983 Alexander Grothendieck First appearance of strict ∞-categories in pursuing stacks, following a 1981 published definition by Ronald Brown and. 1983 Alexander Grothendieck Fundamental infinity groupoid A complete homotopy invariant Π∞(X) for CW-complexes X ...
Grothendieck Topology - Continuous and Cocontinuous Functors - Morphisms of Sites
... A particular case of this happens when a continuous functor admits a left adjoint ... Suppose that u C → D and v D → C are functors with u right adjoint to v ...
Timeline Of Category Theory And Related Mathematics - 1945–1970
... In fact Alexander Grothendieck later made a dictionary between sheaves and functions. 1957 Charles Ehresmann–Jean Bénabou Pointless topology building on Marshall Stone's work. 1957 Alexander Grothendieck Abelian categories in homological algebra that combine exactness and linearity ...
Timeline Of Category Theory And Related Mathematics - 1971–1980
1971 Horst Herrlich-Oswald Wyler Categorical topology The study of topological categories of structured sets (generalizations of topological spaces, uniform spaces and the various other ... General categorical topology study and uses structured sets in a topological category as general topology study and uses topological spaces ... Algebraic categorical topology tries to apply the machinery of algebraic topology for topological spaces to structured sets in a topological category ...
Stack (descent Theory)
... It turns out that the general language for describing these coverings is that of a Grothendieck topology ... over another base category, where the base has a Grothendieck topology and where the fibred category satisfies a few axioms that ensure existence and uniqueness of certain ... its origin in the definition of effective descent data in Grothendieck (1959) ...