Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Carquois (théorie des catégories)
Résumé
Un carquois est une collection d'arcs joignant des couples de points. En ce sens, il s'agit d'un graphe orienté, mais la notion intervient en physique théorique ainsi qu'en théorie des représentations, des groupes et des catégories de manière naturelle. En effet, une catégorie est un carquois doté d'une structure supplémentaire : nommément la présence d'identités et de compositions. On parle donc de carquois lorsque l'on souhaite évoquer ce contexte catégorique (ou de représentation), plutôt que de (multi-di-)graphe orienté.
Le nom « carquois » provient du fait qu'il s'agit essentiellement d'une collection de flèches.
On appelle carquois libre (ou catégorie de Kronecker) la catégorie X formée :
de deux objets E et V (correspondant aux arcs et aux points, respectivement) ;
de deux morphismes (source et destination, respectivement) ;
des deux morphismes identité.
Soit C une catégorie, un carquois sur C est un foncteur .
La catégorie des carquois sur C, notée , est la catégorie de foncteurs dont :
les objets sont les carquois, ;
les morphismes sont les transformations naturelles entre ces foncteurs ;
Si C est la catégorie des ensembles, alors la catégorie des carquois correspond à la catégorie des préfaisceaux sur la catégorie duale .
On obtient un carquois à partir d'une catégorie en retirant les morphismes identité et en
« oubliant » la composition. En d'autres termes, on a un foncteur d'oubli :
de la catégorie des (petites) catégories dans la catégorie des carquois. Ce foncteur
est adjoint à droite au foncteur qui associe, à un carquois, la catégorie libre correspondante :
De fait, il est souvent intéressant de travailler sur le carquois d'une catégorie libre, plutôt que sur la catégorie elle-même : les isomorphismes de carquois s'identifient aux équivalences entre les catégories libres correspondantes.
Si est un carquois, une représentation de est un foncteur de la catégorie libre engendrée par dans la catégorie des -espaces vectoriels. Autrement dit, chaque point se voit associé à un -espace vectoriel, et chaque arc correspond à une transformation linéaire d'un espace à l'autre.
Source officielle
À 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.