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.
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 ».
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.
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.
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.
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.
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.
Associativité des puissancesEn algèbre, l'associativité des puissances est une forme affaiblie de l'associativité. Un magma est dit associatif des puissances si le sous-magma engendré par n'importe quel élément est associatif. Concrètement, cela signifie que si une opération est effectuée plusieurs fois sur un même élément , l'ordre dans lequel sont effectuées ces opérations n'a pas d'importance ; ainsi, par exemple, . Tout magma associatif est évidemment associatif des puissances.
Monade (théorie des catégories)Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
Catégorie de foncteursUne catégorie de foncteurs ou catégorie des foncteurs entre deux catégories est une catégorie dont les objets sont les foncteurs entre ces catégories, et les morphismes sont les transformations naturelles entre ces foncteurs. Soient et des catégories. On définit la catégorie de foncteurs de dans , notée , ou parfois ou : Les objets de sont les foncteurs de dans ; Les morphismes sont les transformations naturelles. Il existe, pour tout objet F, un morphisme correspondant à l'identité incarné par le foncteur .
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.
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.
Catégorie cartésienneUne catégorie cartésienne est, en mathématiques — et plus précisément en théorie des catégories — une catégorie munie d'un objet terminal et du produit binaire. Dans une catégorie cartésienne, la notion de morphisme entre morphismes n'a pas encore de sens. C'est pourquoi l'on définit l'exponentiation, c'est-à-dire l'objet B qui représente l'« ensemble » des morphismes de A dans B. Munie de cette propriété de clôture qu'est l'exponentiation, une catégorie cartésienne devient une catégorie cartésienne fermée.
Non-associative algebraA non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation.
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
AssociateurDans une algèbre ou un anneau non nécessairement associative, l'associateur de trois éléments x, y et z, noté A(x,y,z) est défini par . Il est parfois noté aussi s'il n'y a pas de risque de confusion avec un produit mixte. L'associativité est exprimée par la nullité de la fonction A sur tous les triplets. L'alternativité est exprimée par l'égalité pour tout couple d'éléments (x,y). L'associateur est un opérateur trilinéaire. L'associateur permet de définir le noyau de la structure, à savoir l'ensemble des x tels que pour y et z quelconques, on a .
Limite (théorie des catégories)La notion de limite est une construction catégorique abstraite, qui rend compte d'objets tels que les produits, les produits fibrés et les limites projectives. La construction duale, la colimite, rend compte entre autres des coproduits, sommes amalgamées et limites inductives. Dans certains cas, cette notion coïncide avec la limite au sens de l'analyse. Soit une catégorie. On considère un diagramme dans , traduit par un foncteur . Dans de nombreux cas, on considère une petite catégorie, voire finie, et on parle respectivement de petit diagramme ou de diagramme fini.
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.
AssociativitéEn mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne sur un ensemble E est dite associative si pour tous x, y et z dans E : En notant , l'associativité se traduit par le diagramme commutatif suivant : Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles.
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.
