Injective objectIn mathematics, especially in the field of , the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of . The dual notion is that of a projective object. An in a is said to be injective if for every monomorphism and every morphism there exists a morphism extending to , i.e. such that . That is, every morphism factors through every monomorphism . The morphism in the above definition is not required to be uniquely determined by and .
Module injectifEn mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y.
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.
Injective hullIn mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in . A module E is called the injective hull of a module M, if E is an essential extension of M, and E is injective. Here, the base ring is a ring with unity, though possibly non-commutative. An injective module is its own injective hull. The injective hull of an integral domain is its field of fractions .
Faisceau (mathématiques)En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Scintigraphie osseuseLa scintigraphie osseuse est un examen de médecine nucléaire consistant à injecter à un patient un produit radioactif qui va se fixer sur le squelette. Cet examen permet d’obtenir des images qui sont le reflet du métabolisme osseux. Il est indiqué dans de nombreuses pathologies osseuses, notamment en cancérologie pour la recherche de métastases osseuses ou en rhumatologie.
Tomographie par émission monophotoniquevignette|droite|Image dans le plan axial du cerveau obtenue par tomographie d'émission monophotonique utilisant le Tc-99. La tomographie par émission monophotonique, en abrégé TEMP, ou même SPECT (de l'Single photon emission computed tomography), aussi appelée tomoscintigraphie par émission monophotonique, est une technique qui repose sur le principe de la scintigraphie et qui permet d'effectuer des images ainsi que des reconstructions en trois dimensions d'organes et de leur métabolisme à l'aide d'un ensemble de gamma caméras tournant autour du patient.
Technétium 99mLe technétium 99m, noté Tc, est un isomère nucléaire de l'isotope du technétium dont le nombre de masse est égal à 99. Il est utilisé en médecine nucléaire pour effectuer de nombreux diagnostics. Le noyau atomique du Tc compte et avec un spin 1/2- pour une masse atomique de . Il est caractérisé par un excès de masse de , une énergie de liaison nucléaire de et une énergie d'excitation de . Un gramme de présente une radioactivité de .
Spirit (rover)Spirit (« Esprit » en anglais), alias MER-A (Mars Exploration Rover - A), est l'un des deux astromobiles de la mission Mars Exploration Rover de l'agence spatiale américaine, la NASA, lancé vers la planète Mars en 2003. L'engin qui s'est posé sur Mars le 4 janvier 2004 dans le cratère Goussev avait pour but d'étudier la géologie de Mars et de déterminer en particulier le rôle joué par l'eau dans l'histoire de la planète. Sa mission qui devait durer 90 jours s'est achevée officiellement en mars 2010.
MorphismeEn mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations. En algèbre générale, un morphisme (ou homomorphisme) est une application entre deux structures algébriques de même espèce, c'est-à-dire des ensembles munis de lois de composition interne ou externe (par exemple deux groupes ou deux espaces vectoriels), qui respectent certaines propriétés en passant d'une structure à l'autre.
Gluing axiomIn mathematics, the gluing axiom is introduced to define what a sheaf on a topological space must satisfy, given that it is a presheaf, which is by definition a contravariant functor to a category which initially one takes to be the . Here is the partial order of open sets of ordered by inclusion maps; and considered as a category in the standard way, with a unique morphism if is a subset of , and none otherwise. As phrased in the sheaf article, there is a certain axiom that must satisfy, for any open cover of an open set of .
OpportunityOpportunity (« Opportunité, Occasion » en anglais), alias MER-B (Mars Exploration Rover - B), est la deuxième astromobile de la mission Mars Exploration Rover de l'agence spatiale américaine, la NASA, lancé vers la planète Mars en 2003. L'engin qui s'est posé sur Mars le dans la région équatoriale de Terra Meridiani avait pour but d'étudier la géologie de Mars et de déterminer en particulier le rôle joué par l'eau dans l'histoire de la planète. Sa mission qui devait durer 90 jours s'est achevée officiellement en février 2019.
Mars Exploration RoverMars Exploration Rover (MER) est une mission double de la NASA lancée en 2003 et composée de deux robots mobiles ayant pour objectif d'étudier la géologie de la planète Mars, en particulier le rôle joué par l'eau dans l'histoire de la planète. Les deux astromobiles ont été lancés au début de l'été 2003 et se sont posés en sur deux sites martiens susceptibles d'avoir conservé des traces de l'action de l'eau dans leur sol.
Morphisme zéroDans la théorie des catégories, une branche des mathématiques, un morphisme zéro est un type spécial de morphisme présentant certaines propriétés comme celles des morphismes vers et depuis un objet zéro . Supposons que C soit une catégorie, et f : X → Y un morphisme de la catégorie C. Le morphisme f est appelé morphisme constant (ou encore morphisme zéro à gauche) si pour tout objet W de la catégorie C et tout morphisme de cette catégorie , on a fg = fh.
Morphisme platEn géométrie algébrique, un morphisme de schémas peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille. Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif. Si est un faisceau quasi-cohérent sur X.
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Préfaisceau (théorie des catégories)En théorie des catégories — une branche des mathématiques — la notion de préfaisceau généralise celle du même nom en géométrie algébrique. Les préfaisceaux y sont des objets particulièrement courants et donnent lieu à la notion de topos sur un site. Soient et des catégories, un préfaisceau de à valeurs dans est un foncteur : de la catégorie opposée à dans . De manière strictement équivalente, c'est un foncteur contravariant de dans .
Cohomologie de ČechLa cohomologie de Čech est une théorie cohomologique, développée à l'origine par le mathématicien Eduard Čech en faisant jouer au nerf d'un recouvrement sur un espace topologique le rôle des simplexes en homologie simpliciale. On peut définir une cohomologie de Čech pour les faisceaux, ou plus généralement pour les objets d'un site, en particulier une catégorie de schémas munie de la topologie de Zariski.
Constant sheafIn mathematics, the constant sheaf on a topological space associated to a set is a sheaf of sets on whose stalks are all equal to . It is denoted by or . The constant presheaf with value is the presheaf that assigns to each non-empty open subset of the value , and all of whose restriction maps are the identity map . The constant sheaf associated to is the sheafification of the constant presheaf associated to . This sheaf identifies with the sheaf of locally constant -valued functions on .
Catégorie de foncteursUne catégorie de foncteurs ou catégorie des foncteurs entre deux catégories est une catégorie dont les objets sont les foncteurs entre ces catégories, et les morphismes sont les transformations naturelles entre ces foncteurs. Soient et des catégories. On définit la catégorie de foncteurs de dans , notée , ou parfois ou : Les objets de sont les foncteurs de dans ; Les morphismes sont les transformations naturelles. Il existe, pour tout objet F, un morphisme correspondant à l'identité incarné par le foncteur .
