Direct image functorIn mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf F defined on a topological space X and a continuous map f: X → Y, we can define a new sheaf f∗F on Y, called the direct image sheaf or the pushforward sheaf of F along f, such that the global sections of f∗F is given by the global sections of F.
Gamma (photographie)En photographie argentique fixe ou cinématographique et en vidéo, le gamma caractérise le contraste d'un support de captation ou de diffusion d'images. thumb|Courbe caractéristique d'un négatif. En photographie et cinématographie argentiques, le gamma, ou facteur de contraste, caractérise le contraste de l'émulsion. Plus sa valeur absolue est élevée, plus l'émulsion est contrastée et inversement. Une émulsion négative a un gamma positif puisqu'elle s'opacifie avec lumière, à l'inverse une émulsion inversible (diapositive) a un gamma négatif.
RANSACRANSAC, abréviation pour RANdom SAmple Consensus, est une méthode pour estimer les paramètres de certains modèles mathématiques. Plus précisément, c'est une méthode itérative utilisée lorsque l'ensemble de données observées peut contenir des valeurs aberrantes (outliers). Il s'agit d'un algorithme non-déterministe dans le sens où il produit un résultat correct avec une certaine probabilité seulement, celle-ci augmentant à mesure que le nombre d'itérations est grand. L'algorithme a été publié pour la première fois par Fischler et Bolles en 1981.
Stalk (sheaf)The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point. Sheaves are defined on open sets, but the underlying topological space consists of points. It is reasonable to attempt to isolate the behavior of a sheaf at a single fixed point of . Conceptually speaking, we do this by looking at small neighborhoods of the point. If we look at a sufficiently small neighborhood of , the behavior of the sheaf on that small neighborhood should be the same as the behavior of at that point.
Topos (mathématiques)En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique. Un topos peut être défini comme une catégorie pourvue : de limites et colimites finies ; d'exponentielles ; d'un . D'autres définitions équivalentes sont données plus bas.
Inverse image functorIn mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map , the inverse image functor is a functor from the of sheaves on Y to the category of sheaves on X. The is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features. Suppose we are given a sheaf on and that we want to transport to using a continuous map .
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Grothendieck categoryIn mathematics, a Grothendieck category is a certain kind of , introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962. To every algebraic variety one can associate a Grothendieck category , consisting of the quasi-coherent sheaves on .
