В математике псевдофунктор F — это отображение между 2-категориями или из категории в 2-категорию , которое похоже на функтор , за исключением того, что и не выполняются как точные равенства, а только с точностью до когерентных изоморфизмов .
Конструкция Гротендика сопоставляет псевдофунктору расслоенную категорию .
