Catégorie indexée

En théorie des catégories, une catégorie indexée est un pseudofoncteur de $C^{op}$ vers $Cat$, où $Cat$ 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.