Foncteur ExtLes foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Module projectifEn mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.
Coherent sheafIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an , and so they are closed under operations such as taking , , and cokernels.
Forgetful functorIn mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.
