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.
Quasi-finite morphismIn algebraic geometry, a branch of mathematics, a morphism f : X → Y of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions: Every point x of X is isolated in its fiber f−1(f(x)). In other words, every fiber is a discrete (hence finite) set. For every point x of X, the scheme f−1(f(x)) = X ×YSpec κ(f(x)) is a finite κ(f(x)) scheme. (Here κ(p) is the residue field at a point p.) For every point x of X, is finitely generated over .
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.
Formally étale morphismIn commutative algebra and algebraic geometry, a morphism is called formally étale if it has a lifting property that is analogous to being a local diffeomorphism. Let A be a topological ring, and let B be a topological A-algebra. Then B is formally étale if for all discrete A-algebras C, all nilpotent ideals J of C, and all continuous A-homomorphisms u : B → C/J, there exists a unique continuous A-algebra map v : B → C such that u = pv, where p : C → C/J is the canonical projection.
Topologie de NisnevichLa topologie de Nisnevich est une topologie de Grothendieck sur la catégorie des schémas. Introduite par Yevsey Nisnevich pour l'étude des adèles, elle devait servir à démontrer une conjecture d'Alexander Grothendieck et Jean-Pierre Serre. Cette topologie est aujourd'hui utilisée en K-théorie algébrique, qu'elle rend représentable par un , et en théorie des motifs. Elle permet également de construire l', une théorie de l'homotopie purement algébrique. Une variante importante est la qui raffine la topologie étale.
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.
Programmation orientée objetLa programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique. Elle consiste en la définition et l'interaction de briques logicielles appelées objets ; un objet représente un concept, une idée ou toute entité du monde physique, comme une voiture, une personne ou encore une page d'un livre. Il possède une structure interne et un comportement, et il sait interagir avec ses pairs.
Équivalence de catégoriesEn mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante.
Espace des lacetsEn mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.
Objet initial et objet finalEn mathématiques, et plus particulièrement en théorie des catégories, un objet initial et un objet final sont des objets qui permettent de définir une propriété universelle. Donnons-nous une catégorie . Un objet de est dit initial si pour tout objet de , il existe une et une seule flèche de vers . De même, un objet est dit final (ou terminal) si pour tout objet , il existe une et une seule flèche de vers . En particulier, la seule flèche d'un objet initial (ou final) vers lui-même est l'identité.
