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.
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é.
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.
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.
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.
Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
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.
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 .
Section (théorie des catégories)vignette|Ici, g est une section de f, et f est une rétraction de g. Dans le domaine mathématique de la théorie des catégories, si on a un couple de morphismes , tel que (le morphisme identité de Y, souvent réalisé par l'application identité sur Y), on dit que g est une section de f, et que f est une rétraction de g. En d'autres termes, une section est un inverse à droite, et une rétraction est un inverse à gauche (ce sont deux notions duales).
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.
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Catégorie abélienneEn mathématiques, les catégories abéliennes forment une famille de catégories qui contient celle des groupes abéliens. Leur étude systématique a été instituée par Alexandre Grothendieck pour éclairer les liens qui existent entre différentes théories cohomologiques, comme la cohomologie des faisceaux ou la cohomologie des groupes. Toute catégorie abélienne est additive. Une catégorie abélienne est une catégorie additive dans laquelle on peut additionner les flèches et définir pour toute flèche les notions de noyau, conoyau et .
Dual (category theory)In , a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the Cop. Given a statement regarding the category C, by interchanging the source and target of each morphism as well as interchanging the order of composing two morphisms, a corresponding dual statement is obtained regarding the opposite category Cop. Duality, as such, is the assertion that truth is invariant under this operation on statements.
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 : .
Preadditive categoryIn mathematics, specifically in , a preadditive category is another name for an Ab-category, i.e., a that is over the , Ab. That is, an Ab-category C is a such that every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation. In formulas: and where + is the group operation. Some authors have used the term additive category for preadditive categories, but here we follow the current trend of reserving this term for certain special preadditive categories (see below).
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.
Nerf (théorie des catégories)En mathématiques, et plus particulièrement en théorie des catégories, le nerf d'une petite catégorie est un ensemble simplicial construit à partir des objets et des morphismes de . La réalisation géométrique de cet ensemble simplicial est un espace topologique, appelé l'espace classifiant de la catégorie . Ces objets étroitement liés peuvent fournir des informations sur certains catégories familières et utiles à l'aide de la topologie algébrique, le plus souvent la théorie de l'homotopie.
Catégorie additiveLes catégories additives jouent un rôle essentiel en théorie des catégories. De très nombreuses catégories rencontrées en pratique sont en effet additives. Toute catégorie abélienne (telle que la catégorie des groupes abéliens, ou celle des modules à gauche sur un anneau, ou encore celle des faisceaux de modules sur un espace localement annelé) est additive. Néanmoins, dès qu'on munit d'une topologie des objets appartenant à une catégorie abélienne, et qu'on exige des morphismes qu'ils soient des applications continues, on obtient une catégorie qui n'est généralement plus abélienne, mais qui est souvent additive.
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.
