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.
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.
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.
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.
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
Chain (algebraic topology)In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. For a simplicial complex , the group of -chains of is given by: where are singular -simplices of . Note that any element in not necessary to be a connected simplicial complex.
Complete latticeIn mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known as a conditionally complete lattice. Specifically, every non-empty finite lattice is complete. Complete lattices appear in many applications in mathematics and computer science. Being a special instance of lattices, they are studied both in order theory and universal 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 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é ».
Problème NP-completEn théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de vérifier une solution efficacement (en temps polynomial) ; la classe des problèmes vérifiant cette propriété est notée NP ; tous les problèmes de la classe NP se ramènent à celui-ci via une réduction polynomiale ; cela signifie que le problème est au moins aussi difficile que tous les autres problèmes de l
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Ordre partiel completIl existe plusieurs notions non équivalentes dordre partiel complet (complete partial order ou CPO). La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique. Les ensembles partiellement ordonnés ne se comportent pas tous comme des ensembles de parties ordonnés par l'inclusion ⊆. En particulier, quand on a une suite croissante de sous-ensembles E0 ⊆ E1 ⊆ E2 ⊆ ..., on peut définir l'union infinie E0 ∪ E1 ∪ E2 ∪ .
P-completEn théorie de la complexité computationnelle, un problème de décision est P-complet (c.-à-d. complet pour la classe de complexité P des problèmes en temps polynomial) s'il est dans P et tout problème dans P peut y être réduit par une réduction en espace logarithmique (d'autres réductions sont aussi utilisées, comme NC). La notion de problème de décision P-complet est utile pour déterminer : quels problèmes sont difficiles à paralléliser efficacement (si on utilise des réductions NC), quels problèmes sont difficiles à résoudre dans un espace limité (si on utilise des réductions en espace logarithmique).
Diagonal functorIn , a branch of mathematics, the diagonal functor is given by , which maps as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects within the : a product is a universal arrow from to . The arrow comprises the projection maps. More generally, given a , one may construct the , the objects of which are called . For each object in , there is a constant diagram that maps every object in to and every morphism in to .
Catégorie des anneauxEn mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
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.
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.
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 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.
Comma categoryIn mathematics, a comma category (a special case being a slice category) is a construction in . It provides another way of looking at morphisms: instead of simply relating objects of a to one another, morphisms become objects in their own right. This notion was introduced in 1963 by F. W. Lawvere (Lawvere, 1963 p. 36), although the technique did not become generally known until many years later. Several mathematical concepts can be treated as comma categories. Comma categories also guarantee the existence of some s and colimits.
