Concept
Subobject classifier
Concepts associés (4)
Topos (mathématiques)
En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique. Un topos peut être défini comme une catégorie pourvue : de limites et colimites finies ; d'exponentielles ; d'un . D'autres définitions équivalentes sont données plus bas.
Catégorie de foncteurs
Une catégorie de foncteurs ou catégorie des foncteurs entre deux catégories est une catégorie dont les objets sont les foncteurs entre ces catégories, et les morphismes sont les transformations naturelles entre ces foncteurs. Soient et des catégories. On définit la catégorie de foncteurs de dans , notée , ou parfois ou : Les objets de sont les foncteurs de dans ; Les morphismes sont les transformations naturelles. Il existe, pour tout objet F, un morphisme correspondant à l'identité incarné par le foncteur .
Faisceau (mathématiques)
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Monomorphisme
Dans le cadre de l'algèbre générale ou de l'algèbre universelle, un monomorphisme est simplement un morphisme injectif. Dans le cadre plus général de la théorie des catégories, un monomorphisme est un morphisme simplifiable à gauche, c'est-à-dire un morphisme tel que pour tout , ou encore : l'application Les monomorphismes sont la généralisation aux catégories des fonctions injectives ; dans certaines catégories, les deux notions coïncident d'ailleurs. Mais les monomorphismes restent des objets plus généraux (voir l'exemple ci-dessous).