Propriété universelleEn mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
Entier naturelEn mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes : un jeton, deux jetons... une carte, deux cartes, trois cartes... Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule). L’étude des entiers naturels est l’objet de l’arithmétique, branche des mathématiques, constituée dès l'Antiquité grecque.
Catégorie concrèteEn mathématiques, et plus précisément en théorie des catégories, une catégorie concrète sur une catégorie est un couple où est une catégorie et est un foncteur fidèle. Le foncteur est appelé le foncteur d'oubli et est appelée la catégorie base pour . Si n'est pas précisée, il est sous-entendu qu'il s'agit de la catégorie des ensembles . Dans ce cas, les objets de la catégorie sont des ensembles munis de certaines structures, et les morphismes de cette catégorie sont les morphismes entre ensembles munis de ces structures.
UnipotentEn mathématiques, un élément unipotent r d'un anneau unitaire R est un tel que r − 1 est un élément nilpotent ; en d'autres termes, (r − 1)n vaut zéro pour n assez grand. En particulier, une matrice carrée M est une matrice unipotente si et seulement si son polynôme caractéristique P(t) est une puissance de t − 1. Ainsi, toutes les valeurs propres d'une matrice unipotente valent 1. Le terme quasi-unipotent signifie qu'une certaine puissance de l'élément est unipotente.
Foreach loopIn computer programming, foreach loop (or for-each loop) is a control flow statement for traversing items in a collection. is usually used in place of a standard loop statement. Unlike other loop constructs, however, loops usually maintain no explicit counter: they essentially say "do this to everything in this set", rather than "do this times". This avoids potential off-by-one errors and makes code simpler to read. In object-oriented languages, an iterator, even if implicit, is often used as the means of traversal.
Alexandre GrothendieckAlexandre Grothendieck, né Alexander Grothendieck (prononcé en allemand : ), est un mathématicien français, né le à Berlin et mort le à Saint-Lizier, près de Saint-Girons (Ariège). Il est resté longtemps apatride tout en vivant principalement en France ; il a acquis la nationalité française en 1971. Il est considéré comme le refondateur de la géométrie algébrique et, à ce titre, comme l'un des plus grands mathématiciens du . Il était connu pour son intuition extraordinaire et sa capacité de travail exceptionnelle.
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 .
Functor represented by a schemeIn algebraic geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is (up to natural bijections) the set of all morphisms . The scheme X is then said to represent the functor and that classify geometric objects over S given by F. The best known example is the Hilbert scheme of a scheme X (over some fixed base scheme), which, when it exists, represents a functor sending a scheme S to a flat family of closed subschemes of .
Site (mathématiques)En théorie des catégories, une branche des mathématiques, une topologie de Grothendieck est une structure sur une catégorie permettant de voir certains objets de comme les ensembles ouverts d'un espace topologique. Une catégorie munie d'une topologie de Grothendieck est appelée un site. Une topologie de Grothendieck axiomatise la notion de recouvrement d'un espace topologique par des ouverts. Cela permet de généraliser la définition de faisceaux, et leur cohomologie, à un site quelconque.
Function pointerA function pointer, also called a subroutine pointer or procedure pointer, is a pointer referencing executable code, rather than data. Dereferencing the function pointer yields the referenced function, which can be invoked and passed arguments just as in a normal function call. Such an invocation is also known as an "indirect" call, because the function is being invoked indirectly through a variable instead of directly through a fixed identifier or address. Function pointers allow different code to be executed at runtime.
