Propriété universelle et foncteurs adjoints

Henosophia Τοποσοφια οντοποσοφια μαθεσις uni√ersalis ενοσοφια

Toujours dans la page Wikipedia en anglais sur l’idée de propriété universelle :

https://en.wikipedia.org/wiki/Universal_property

nous avons vu dans l’article précédent qu’une propriété universelle est un morphisme soit initial soit terminal dans la « comma-category » (XU)  ou (UX)

Il y a d’ailleurs une formulation équivalente (voir le paragraphe « Equivalent formulations », c’est de dire que le foncteur  HomC(X, U—), où le tiret après U désigne un objet variable de la catégorie D et où Hom(X, UZ) désigne l’ensemble des morphismes allant de X vers UZ dans la catégorie C, il s’agit donc d’un foncteur : D ——> Ens

que ce foncteur donc est représentable et que le doublet (A, φ) qui est la propriété universelle  (A, φ) dans les termes de la page en est une représentation, voir:

https://en.wikipedia.org/wiki/Representable_functor

(nous reviendrons sur les foncteurs représentables car c’est…

View original post 609 mots de plus

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s