presheaves
Смотреть что такое "presheaves" в других словарях:
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Functor category — In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of… … Wikipedia
Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… … Wikipedia
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
Presheaf (category theory) — In category theory, a branch of mathematics, a V valued presheaf F on a category C is a functor F:C^mathrm{op} omathbf{V}. Often presheaf is defined to be a Set valued presheaf. If C is the poset of open sets in a topological space, interpreted… … Wikipedia
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… … Wikipedia
Germ (mathematics) — In mathematics, the notion of a germ of an object in/on a topological space captures the local properties of the object. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea,… … Wikipedia
Gluing axiom — In mathematics, the gluing axiom is introduced to define what a sheaf F on a topological space X must satisfy, given that it is a presheaf, which is by definition a contravariant functor : F : O ( X ) rarr; C to a category C which initially one… … Wikipedia
Stalk (sheaf) — The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point.Motivation and definitionSheaves are defined on open sets, but the underlying topological space X consists of points. It is reasonable to… … Wikipedia
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 … Wikipedia
