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.

À 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.
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.
Afficher plus
Séances de cours associées (93)
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.
Principes de la physique quantique
Couvre les principes de la physique quantique, se concentrant sur les espaces de produits tensor et les vecteurs enchevêtrés.
Afficher plus
Publications associées (48)

Densification and shaping of pure Cu-BTC powders using a solid-state chemical transformation

Wendy Lee Queen, Mathieu Soutrenon, Jordi Espin Marti, Mehrdad Asgari, Vikram Vinayak Karve, Alexandre Mabillard

MOFs are a class of porous crystalline materials whose unique properties have led to applicability in several fields ranging from gas adsorption to drug delivery. Despite their high potential, MOFs are usually found as fine powders, a property that can lim ...
Iop Publishing Ltd2024

Co-Design Optimisation of Morphing Topology and Control of Winged Drones

Dario Floreano, Valentin Wüest, Fabio Bergonti

The design and control of winged aircraft and drones is an iterative process aimed at identifying a compromise of mission-specific costs and constraints. When agility is required, shape-shifting (morphing) drones represent an efficient solution. However, m ...
2024

Energy Efficient Logic and Memory Design With Beyond-CMOS Magnetoelectric Spin-Orbit (MESO) Technology Toward Ultralow Supply Voltage

Kyojin Choo

Devices based on the spin as the fundamental computing unit provide a promising beyond-complementary metal-oxide-semiconductor (CMOS) device option, thanks to their energy efficiency and compatibility with CMOS. One such option is a magnetoelectric spin-or ...
Piscataway2023
Afficher plus
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).
Afficher plus
MOOCs associés (9)
Algèbre Linéaire (Partie 1)
Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.
Algèbre Linéaire (Partie 1)
Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.
Algèbre Linéaire (Partie 2)
Un MOOC francophone d'algèbre linéaire accessible à tous, enseigné de manière rigoureuse et ne nécessitant aucun prérequis.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.