Псевдо-функция

В математике псевдофунктор F — это отображение между 2-категориями или из категории в 2-категорию , которое аналогично функтору, за исключением того, что $F(f\circ g)=F(f)\circ F(g)$ и $F(1)=1$ выполняются не как точные равенства, а только с точностью до когерентных изоморфизмов .

сопоставляет Конструкция Гротендика псевдофунктору расслоенную категорию .

См. также

• Функтор Лакса
• Предварительный стек (пример псевдофунктора)
• Волокнистая категория

Ссылки

• К. Зоргер, Лекции о модулях главных G-расслоений над алгебраическими кривыми

Внешние ссылки

• http://ncatlab.org/nlab/show/pseudofunctor