Ê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
Préfaisceau (théorie des catégories)
Résumé
En théorie des catégories — une branche des mathématiques — la notion de préfaisceau généralise celle du même nom en géométrie algébrique. Les préfaisceaux y sont des objets particulièrement courants et donnent lieu à la notion de topos sur un site.
Soient et des catégories, un préfaisceau de à valeurs dans est un foncteur :
de la catégorie opposée à dans . De manière strictement équivalente, c'est un foncteur contravariant de dans .
Un cas très courant est celui où est la catégorie Set des ensembles, qui englobe en particulier toutes les catégories concrètes : catégorie des anneaux, catégorie des groupes abéliens, catégorie des modules sur un anneau... qui est le cadre dans lequel les préfaisceaux de la géométrie algébrique sont considérés.
Lorsque est une catégorie abélienne, on parle de préfaisceau abélien.
Si V est une catégorie monoïdale, on peut définir une notion de préfaisceau V-enrichi, comme foncteur V-enrichi contravariant d'une catégorie enrichie dans une autre.
Un petit préfaisceau est un préfaisceau qui est l'extension de Kan d'un foncteur dont le domaine est une petite catégorie. Si C est une petite catégorie, alors tous les préfaisceaux sur C sont petits.
La catégorie des préfaisceaux est la catégorie de foncteurs , parfois notée ou , c'est-à-dire la catégorie dont :
les objets sont les foncteurs ;
les morphismes sont les transformations naturelles entre ces foncteurs.
Lorsque D = Set, on note généralement ou la catégorie des préfaisceaux sur C, sans mention explicite de D.
La catégorie des préfaisceaux d'une petite catégorie dans Set est complète et cocomplète, et admet des limites et colimites point-à-point.
Toute catégorie C est plongée de manière pleine et fidèle dans la catégorie Ĉ des préfaisceaux à valeurs dans Set, par le plongement de Yoneda . Les préfaisceaux de cette forme, et les préfaisceaux qui sont isomorphes à de tels préfaisceaux, sont dits « représentables ».
Tout préfaisceau à valeurs dans Set est la colimite d'un préfaisceau représentable.
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.