Catégorie indexée
Apparence
En théorie des catégories, une catégorie indexée est un pseudofoncteur de vers [1], où est une 2-catégorie dont les objets sont des catégories. À toute catégorie indexée est associée une construction de Grothendieck, qui donne naissance à une catégorie fibrée.
Références
[modifier | modifier le code]- Catégorie indexée sur le nLab