Quasi-catégorieEn mathématiques, plus précisément en théorie des catégories, une quasi-catégorie est une généralisation de la notion de catégorie. L'étude de telles généralisations est connue sous le nom de théorie des catégories supérieures. Les quasi-catégories ont été introduites par et Vogt en 1973. André Joyal a fait beaucoup progresser l'étude des quasi-catégories en montrant qu’il existe un analogue pour les quasi-catégories de la plupart des notions de base de la théorie des catégories et même de certaines notions et théorèmes d’un niveau plus avancé.
Catégorie de modèlesEn mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.
Weak equivalence (homotopy theory)In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.
Théorie de l'homotopieLa théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.
Théorie des catégories supérieuresEn mathématiques, la théorie des catégories supérieures est la partie de la théorie des catégories à un ordre supérieur, ce qui signifie que certaines égalités sont remplacées par des flèches explicites afin de pouvoir étudier explicitement la structure derrière ces égalités. La théorie des catégories supérieures est souvent appliquée en topologie algébrique (en particulier en théorie de l'homotopie ), où l'on étudie les invariants algébriques des espaces, tels que leur ∞-groupoïde fondamental faible.
Quillen adjunctionIn homotopy theory, a branch of mathematics, a Quillen adjunction between two C and D is a special kind of adjunction between that induces an adjunction between the Ho(C) and Ho(D) via the total derived functor construction. Quillen adjunctions are named in honor of the mathematician Daniel Quillen. Given two closed model categories C and D, a Quillen adjunction is a pair (F, G): C D of adjoint functors with F left adjoint to G such that F preserves cofibrations and trivial cofibrations or, equivalently by the closed model axioms, such that G preserves fibrations and trivial fibrations.
A¹ homotopy theoryIn algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is.
Théorie de l'homotopie stableEn mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .
Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Localisation d'une catégorieEn mathématiques, et plus précisément en théorie des catégories, la localisation de catégorie est une construction algébrique permettant d'inverser une certaine classe de morphismes. Elle a notamment des applications en topologie algébrique et en géométrie algébrique. Pour une catégorie et une classe de morphismes , la localisation de par rapport à est la catégorie universelle où tous les morphismes de sont inversibles.
Équivalence de MoritaEn algèbre, et plus précisément en théorie des anneaux, l'équivalence de Morita est une relation entre anneaux. Elle est nommée d'après le mathématicien japonais Kiiti Morita qui l'a introduite dans un article de 1958. L'étude d'un anneau consiste souvent à explorer la catégorie des modules sur cet anneau. Deux anneaux sont en équivalence de Morita précisément lorsque leurs catégories de modules sont équivalentes. L'équivalence de Morita présente surtout un intérêt dans l'étude des anneaux non commutatifs.
Homotopy categoryIn mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
Bousfield localizationIn , a branch of mathematics, a (left) Bousfield localization of a replaces the model structure with another model structure with the same cofibrations but with more weak equivalences. Bousfield localization is named after Aldridge Bousfield, who first introduced this technique in the context of localization of topological spaces and spectra. Given a class C of morphisms in a M the left Bousfield localization is a new model structure on the same category as before.
K-théorie algébriqueEn mathématiques, la K-théorie algébrique est une branche importante de l'algèbre homologique. Son objet est de définir et d'appliquer une suite de foncteurs K de la catégorie des anneaux dans celle des groupes abéliens. Pour des raisons historiques, K et K sont conçus en des termes un peu différents des K pour n ≥ 2. Ces deux K-groupes sont en effet plus accessibles et ont plus d'applications que ceux d'indices supérieurs. La théorie de ces derniers est bien plus profonde et ils sont beaucoup plus difficiles à calculer, ne serait-ce que pour l'anneau des entiers.
Catégorie trianguléeEn mathématiques, une catégorie triangulée est une catégorie dotée d'une structure supplémentaire. De telles catégories ont été suggérées par Alexander Grothendieck et développées par Jean-Louis Verdier dans sa thèse de 1963 pour traiter les catégories dérivées. La notion de t-structure, qui y est directement liée, permet de reconstruire (en un sens partiel) une catégorie à partir d'une catégorie dérivée.
HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
Foncteur dérivéEn mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Homotopy colimit and limitIn mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of and colimit extended to the homotopy category . The main idea is this: if we have a diagramconsidered as an object in the , (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the and coconewhich are objects in the homotopy category , where is the category with one object and one morphism.
Catégorie enrichieUne catégorie enrichie sur une catégorie monoïdale , ou -catégorie est une extension du concept mathématique de catégorie, où les morphismes, au lieu de former une classe ou un ensemble dépourvu de structure, sont des éléments de . Le concept de catégorie enrichie part de l'observation que dans de nombreuses situations, les morphismes ont une structure naturelle d'espace vectoriel ou topologique. La catégorie doit être monoïdale afin de pouvoir définir la composition des morphismes, appelés dans ce cas hom-objets au lieu de hom-sets.
