Псевдофунктор

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

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

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

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

Эта статья по теории категорий — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е