Catégories enrichies

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

Dans une catégorie ordinaire, W la collection des morphismes entre deux objets A et B notée :

Hom (A, B) ou Mor(A,B)

est un ensemble, donc un objet  de la catégorie des ensembles Ens. (qui est un topos).

Il peut arriver que cette collection ait plus de structure qu’un simple ensemble, qu’elle soit par exemple un espace topologique, un objet donc de la catégorie Top des espaces topologiques.

https://fr.wikipedia.org/wiki/Espace_topologique

Dans ce cas on dit que la catégorie W est « enrichie sur la catégorie Top ».

https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_enrichie

Pour que l’on puisse définir une composition des morphismes, il faut que la catégorie M sur laquelle la catégorie W est enrichie soit une catégorie monoïdale, c’est à dire munie d’un produit tensoriel entre les objets :

https://fr.wikipedia.org/wiki/Cat%C3%A9gorie_mono%C3%AFdale

c’est à dire d’un bifoncteur  ⊗

M x M ——> M

soumis à des conditions explicitées sur la page Wikipedia ci dessus. On parle alors de W…

View original post 25 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