Spectre (topologie)En topologie algébrique, une branche des mathématiques, un spectre est un objet représentant une théorie cohomologique généralisée (qui découle du ). Cela signifie que, étant donné une théorie de cohomologie,il existe des espaces tels que l'évaluation de la théorie cohomologique en degré sur un espace équivaut à calculer les classes d'homotopie des morphismes à l'espace , soit encore.Remarquons qu'il existe plusieurs catégories de spectres différentes conduisant à de nombreuses difficultés techniques, mais ils déterminent tous la même , connue sous le nom de catégorie d'homotopie stable.
Catégorie monoïdaleEn mathématiques, une catégorie monoïdale est une catégorie munie d'un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s'agit de l'analogue, au niveau des catégories, de la notion de monoïde, c'est-à-dire que le bifoncteur joue le rôle d'une sorte de multiplication pour les objets de la catégorie. Une catégorie monoïdale est une catégorie munie : D'un bifoncteur appelé produit tensoriel. D'un objet I appartenant à appelé « objet unité ».
Tour de PostnikovEn théorie de l'homotopie, une branche de la topologie algébrique, une tour de Postnikov (ou système de Postnikov) est un objet permettant de reconstruire un espace topologique à partir de ses groupes d'homotopie. Une tour de Postnikov pour un espace X connexe par arcs est un morphisme de X vers une suite d'espaces et d'applications continues, ...→ X →...→ X→ X, tel que chaque application X→X induit des isomorphismes des π pour k ≤ n ; π(X) = 0 pour k > n. Tout CW-complexe connexe possède une telle « tour ».
MKS system of unitsThe MKS system of units is a physical system of measurement that uses the metre, kilogram, and second (MKS) as base units. The modern International System of Units (SI) was originally created as a formalization of the MKS system, and although the SI has been redefined several times since then and is now based entirely on fundamental physical constants, it still closely approximates the original MKS system for most practical purposes. By the mid-19th century, there was a demand by scientists to define a coherent system of units.
Coherence (units of measurement)A coherent system of units is a system of units of measurement used to express physical quantities that are defined in such a way that the equations relating the numerical values expressed in the units of the system have exactly the same form, including numerical factors, as the corresponding equations directly relating the quantities. It is a system in which every quantity has a unique unit, or one that does not use conversion factors.
Théorème de WhiteheadEn théorie de l'homotopie (une branche des mathématiques et plus précisément de la topologie algébrique), le théorème de Whitehead établit que si une application continue f entre deux espaces topologiques connexes X et Y induit un isomorphisme sur tous leurs groupes d'homotopie, alors f est une équivalence d'homotopie dès que X et Y ont le type d'homotopie de CW-complexes. Ce résultat a été démontré par J. H. C. Whitehead dans deux articles de référence de 1949 et justifie l'introduction de la notion de CW-complexes faite dans ces articles.
2-catégorieEn mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de Cat (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories.
Catégorie des ensemblesEn mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.
∞-groupoidIn , a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard ). It is an generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are equivalent to spaces up to homotopy. Alexander Grothendieck suggested in Pursuing Stacks that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes.
Monade (théorie des catégories)Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
