Catégorie indexée
type de foncteur / De Wikipedia, l'encyclopédie encyclopedia
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.