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
167 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
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: 134 820, Messages: 1 299 422, Utilisateurs: 23 479.
Notre dernier utilisateur inscrit titouan93.


Ce forum
Discussions: 2 008, Messages: 39 082.

 

 
©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