En la teoría de categorías , una rama de las matemáticas , una categoría indexada en C es un pseudofunctor de C op a Cat , [1] donde Cat es una categoría de 2 categorías. Cualquier categoría indexada tiene asociada una construcción Grothendieck , lo que da origen a una categoría fibrosa .