Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
200 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Dualité en langage des catégories

Envoyé par Pablo_de_retour 
Dualité en langage des catégories
il y a deux années
avatar
Bonjour à tous,

Soit $ \mathcal{C} $ une catégorie.
Notons : $ \mathcal{C}^{ \vee } = \mathrm{Func} ( \mathcal{C} , \mathrm{Ens} ) $.
Soit $ \Omega \ : \ \mathcal{C}^{ \vee } \times \mathcal{C} \to \mathbb{Ens} $, un bifoncteur défini par : $ \Omega (F , X ) = F(X) $.
Sous quelles conditions sur $ \Omega $, $ \mathcal{C} $ et $ \mathcal{C}^{ \vee } $ a-t-on $ \mathcal{C}^{ \vee \vee } \simeq \mathcal{C} $ ?
Sous quelles conditions a-t-on $ \mathcal{C}^{ \vee } \simeq \mathcal{C} $ ?
Vous pouvez faire l'analogie avec la notion de dualité en algèbre linéaire, et le lemme ( plongement ) de Yoneda pour saisir le contexte de ce problème.

Merci d'avance.



Edité 5 fois. La dernière correction date de il y a deux années et a été effectuée par Pablo_de_retour.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 136 755, Messages: 1 322 556, Utilisateurs: 24 191.
Notre dernier utilisateur inscrit htam.


Ce forum
Discussions: 2 090, Messages: 40 514.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page