2-функтор

2-функтор 2-функтор в математике — морфизм между двумя 2-категориями.  Формальное определение 2-й категории включает обогащение с помощью Cat.  2-й функтор […]

2-функтор

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

Полный текст статьи:

2-функтор — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх