2-функтор
- 2-функтор в математике — морфизм между двумя 2-категориями.
- Формальное определение 2-й категории включает обогащение с помощью Cat.
- 2-й функтор состоит из функции и функтора для каждой пары объектов.
- Функтор F сохраняет идентичность объектов и чередует горизонтальную композицию в C и D.
Полный текст статьи: