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 .
Dualité de Pontriaguinevignette|La transformée de Fourier En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontriaguine explique les principales propriétés de la transformée de Fourier.
Licence MITvignette La licence MIT est une licence de logiciel pour logiciels libres et open source, provenant de l'Institut de technologie du Massachusetts (MIT) à la fin des années 1980. Cette licence de logiciel permissive implique très peu de limitations sur la réutilisation du code et elle est ainsi compatible avec de nombreuses autres licences. Le terme « licence MIT » est ambigu, puisque le MIT a utilisé des licences différentes, et le texte exact peut varier selon les publications (Free Software Foundation, Open Source Initiative).
ElsevierElsevier B.V. est un groupe éditorial, filiale de la multinationale britannique RELX. Elsevier, créée en tant que Elsevier's Uitgeversmaatschappij en 1880 par , est l'un des plus gros éditeurs mondiaux de littérature scientifique. Elsevier a été fondée en 1880 par deux libraires néerlandais, (1836-1885) et Jacobus George Robbers ; elle fut nommée ainsi en hommage à la famille d'éditeurs Elzevier, dont les premiers ouvrages imprimés remontent à la fin du siècle. Le premier siège d'Elsevier se situait à Rotterdam puis ce fut Amsterdam en 1887.
Sigma additivitévignette|Illustration de la sigma additivité La sigma additivité, appelé aussi additivité dénombrable, est un concept en théorie de la mesure. Soit un ensemble et un ensemble de parties de . On dit que l'application μ est σ-additive sur lorsqu'elle vérifie la propriété suivante : si E1, E2, ... est une suite d'éléments de , si ces parties de sont deux à deux disjointes et si leur réunion E est aussi un élément de , alors la valeur μ(E) de μ sur cette réunion E est égale à la somme des valeurs de μ sur les parties Ek : Il s'agit d'une version plus forte de l'additivité simple.
Geometric latticeIn the mathematics of matroids and lattices, a geometric lattice is a finite atomistic semimodular lattice, and a matroid lattice is an atomistic semimodular lattice without the assumption of finiteness. Geometric lattices and matroid lattices, respectively, form the lattices of flats of finite, or finite and infinite, matroids, and every geometric or matroid lattice comes from a matroid in this way. A lattice is a poset in which any two elements and have both a least upper bound, called the join or supremum, denoted by , and a greatest lower bound, called the meet or infimum, denoted by .
Stone dualityIn mathematics, there is an ample supply of categorical dualities between certain of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they form a natural generalization of Stone's representation theorem for Boolean algebras. These concepts are named in honor of Marshall Stone. Stone-type dualities also provide the foundation for pointless topology and are exploited in theoretical computer science for the study of formal semantics.
Grand cardinalEn mathématiques, et plus précisément en théorie des ensembles, un grand cardinal est un nombre cardinal transfini satisfaisant une propriété qui le distingue des ensembles constructibles avec l'axiomatique usuelle (ZFC) tels que א, א, etc., et le rend nécessairement plus grand que tous ceux-ci. L'existence d'un grand cardinal est donc soumise à l'acceptation de nouveaux axiomes. Un axiome de grand cardinal est un axiome affirmant qu'il existe un cardinal (ou parfois une famille de cardinaux) ayant une propriété de grand cardinal donnée.
Dualité de PoincaréEn mathématiques, le théorème de de Poincaré est un résultat de base sur la structure des groupes d'homologie et cohomologie des variétés, selon lequel, si M est une variété « fermée » (i.e. compacte et sans bord) orientée de dimension n, le k-ième groupe de cohomologie de M est isomorphe à son (n – k)-ième groupe d'homologie, pour tout entier naturel k ≤ n : La dualité de Poincaré a lieu quel que soit l'anneau de coefficients, dès qu'on a choisi une orientation relativement à cet anneau ; en particulier, puisque toute variété a une unique orientation mod 2, la dualité est vraie mod 2 sans hypothèse d'orientation.
Licence ApacheLa licence Apache est une licence de logiciel libre et open source. Elle est écrite par l'Apache Software Foundation, qui l'applique à tous les logiciels qu'elle publie. Il existe plusieurs versions de cette licence (1.0, 1.1, 2.0). Cette licence n'est pas copyleft. Les caractéristiques majeures de la licence Apache sont, d'une part, d'autoriser la modification et la distribution du code sous toute forme (libre ou propriétaire, gratuit ou commercial) et, d'autre part, d'obliger le maintien du copyright lors de toute modification (et également du texte de la licence elle-même).
