Индексированная категория
В теории категорий , разделе математики , категория с C - индексом представляет собой псевдофунктор из C. на к Коту , [1] где Cat — 2-категория категорий. Любая индексированная категория имеет связанную с ней конструкцию Гротендика , которая порождает расслоенную категорию .