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.
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.
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.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
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é.
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.
Catégorie complèteEn mathématiques, une catégorie complète est une catégorie dans laquelle toutes les petites limites existent. Autrement dit, une catégorie C est complète si tout diagramme F : J → C (où J est petite) a une limite dans C. Duallement, une catégorie cocomplète est une catégorie dans laquelle toutes les petites colimites existent. Une catégorie bicomplète est une catégorie à la fois complète et cocomplète. L'existence de toutes les limites (même lorsque J est une classe propre) est trop forte pour être pertinente en pratique.
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.
Structure (logique mathématique)En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle). La sémantique de la logique du premier ordre se définit dans une structure.
Tensor-hom adjunctionIn mathematics, the tensor-hom adjunction is that the tensor product and hom-functor form an adjoint pair: This is made more precise below. The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint. Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an -bimodule and define functors and as follows: Then is left adjoint to .
Modèle de donnéesEn informatique, un modèle de données est un modèle qui décrit la manière dont sont représentées les données dans une organisation métier, un système d'information ou une base de données. Le terme modèle de données peut avoir deux significations : Un modèle de données théorique, c'est-à-dire une description formelle ou un modèle mathématique. Voir aussi modèle de base de données Un modèle de données instance, c'est-à-dire qui applique un modèle de données théorique (modélisation des données) pour créer un modèle de données instance.
FoncteurDans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.
Catégorie des petites catégoriesEn mathématiques, plus précisément en théorie des catégories, la catégorie des petites catégories, notée Cat, est la catégorie dont les objets sont les petites catégories et dont les morphismes sont les foncteurs entre petites catégories. Cat peut en fait être considérée comme une 2-catégorie, les transformations naturelles servant de 2-morphismes. L'objet initial de Cat est la catégorie vide 0, qui est la catégorie sans objets et sans morphismes. L'objet final est la catégorie finale ou catégorie triviale 1 ayant un seul objet et un seul morphisme.
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.
Foncteur exactEn mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.
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.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Foncteur HomEn mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.
Forgetful functorIn mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
