Transformation naturelleEn théorie des catégories, une transformation naturelle permet de transformer un foncteur en un autre tout en respectant la structure interne (c'est-à-dire la composition des morphismes) des catégories considérées. On peut ainsi la voir comme un morphisme de foncteurs. Soient et deux catégories, F et G deux foncteurs covariants de dans .
Structure algébriqueEn mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité. La structure de groupe qui émerge progressivement au , avec une seule opération interne et quelques propriétés se formalise au début du avec une kyrielle de structures d’algèbre générale moins restrictives (monoïde) ou au contraire enrichies par une seconde opération (anneau, corps, algèbre de Boole.
Catégorie des groupesEn mathématiques, la catégorie des groupes est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes. La catégorie des groupes, notée Grp, est définie de la manière suivante : Ses objets sont les groupes ; Les morphismes sont les morphismes de groupes, munis de la composition usuelle de fonctions, l'identité étant l'application identité. En théorie des catégories supérieures il est parfois pratique de voir les groupes comme des groupoïdes possédant un unique objet, les flèches de cet unique objet vers lui-même étant dénotées par les éléments du groupe lui-même.
Objet libreEn mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles...
Polynôme formelEn algèbre, le terme de polynôme formel, ou simplement polynôme, est le nom générique donné aux éléments d'une structure construite à partir d'un ensemble de nombres. On considère un ensemble A de nombres, qui peut être celui des entiers ou des réels, et on lui adjoint un élément X, appelé indéterminée. La structure est constituée par les nombres, le polynôme X, les puissances de X multipliées par un nombre, aussi appelés monômes (de la forme aX), ainsi que les sommes de monômes. La structure est généralement notée A[X].
Algèbre sur un corpsEn mathématiques, et plus précisément en algèbre générale, une algèbre sur un corps commutatif K, ou simplement une K-algèbre, est une structure algébrique (A, +, ·, ×) telle que : (A, +, ·) est un espace vectoriel sur K ; la loi × est définie de A × A dans A (loi de composition interne) ; la loi × est bilinéaire.
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é.
Corps des fractionsEn théorie des anneaux, le corps des fractions d'un anneau intègre A est le plus petit corps commutatif (à isomorphisme près) contenant A. Sa construction est une généralisation à un anneau de la construction du corps des rationnels à partir de l'anneau des entiers relatifs. Appliqué à un anneau de polynômes, il permet la construction de son corps des fractions rationnelles. Cette construction se généralise encore avec le procédé de localisation.
Cone (category theory)In , a branch of mathematics, the cone of a functor is an abstract notion used to define the of that functor. Cones make other appearances in category theory as well. Let F : J → C be a in C. Formally, a diagram is nothing more than a functor from J to C. The change in terminology reflects the fact that we think of F as indexing a family of and morphisms in C. The J is thought of as an "index category". One should consider this in analogy with the concept of an indexed family of objects in set theory.
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 .
