Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Propriété universelle
Résumé
En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
Soit F un foncteur d'une catégorie dans la catégorie des ensembles ; un couple (A, θ) où A est un objet de et est « solution du problème universel posé par F » si la propriété suivante, dite universelle, est vérifiée :
Pour tout objet X de , pour tout élément f de , il existe un unique morphisme g : A → X tel que :
Le foncteur F est le foncteur associé à la propriété universelle.
Lorsqu'il existe une solution (A, θ) au problème universel posé par F, la propriété universelle établit, pour tout objet X, que est une bijection entre l'ensemble Hom(A,X) des morphismes de A vers X, et F(X). est un isomorphisme naturel entre le foncteur représenté par A et le foncteur F. La relation entre l'élément θ de F(A) et cet isomorphisme naturel n'est autre que celle qui est donnée par le lemme de Yoneda.
La solution d'un problème universel, lorsqu'elle existe, est unique à isomorphisme près (et cet isomorphisme est alors nécessairement unique).
Soit en effet (A, θ) la solution du problème posé par le foncteur F. Si on prend pour (X, f) (A, θ) lui-même, il existe un unique morphisme g : A → A tel que F(g)(θ) = θ. Comme g = idA vérifie cette propriété, l'unicité de la solution prouve que, pour tout morphisme g : A → A, F(g)(θ) = θ implique g = idA.
Soit maintenant une autre solution (B, φ) du problème posé par F. (A, θ) étant solution, en prenant (X, f) = (B, φ), il existe un morphisme g : A → B tel que F(g)(θ) = φ. Mais (B, φ) étant aussi solution, en prenant (X, f) = (A, θ), il existe un morphisme h : B → A tel que F(h)(φ) = θ. On a donc F(hg)(θ) = θ et donc hg = idA. De même, F(gh)(φ) = φ donc gh = idB.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (16)
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
MATH-436: Homotopical algebra
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
MATH-111(a): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
Séances de cours associées (102)
Algèbre linéaire: Décomposition spectrale
Couvre la décomposition spectrale des matrices et le changement des applications de base.
Caractérisation des fibres dans les complexes de chaînes
Explore la caractérisation des fibrations et des fibrations acycliques dans les complexes en chaîne.
Algèbre linéaire: Espaces vectoriaux et bases
Explore les sous-espaces, les bases, les noyaux et les images des matrices, en mettant l'accent sur l'indépendance linéaire et la formation de base.
Publications associées (48)
Personnes associées (2)
Concepts associés (29)
Foncteur adjoint
L'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 ».
Limite projective
En mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive. Soient un ensemble ordonné, une famille d'ensembles indexée par , et pour chaque couple tel que , une application . On suppose que ces applications vérifient les deux propriétés suivantes : Une telle structure est appelée système projectif d'ensembles.
Homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).