(Milewski) Промонады, стрелки и нотация Эйнштейна для профункторов

Перевод статьи Бартоша Милевски «Promonads, Arrows, and Einstein Notation for Profunctors» (исходный текст расположен по адресу — Текст оригинальной статьи).

Содержимое перевода статьи включает:

  • Кратко о профункторах
  • hom-профунктор
  • Профункторы как отношения
  • Композиция профункторов
  • Соглашение Эйнштейна
  • Бикатегория Prof
  • Промонады
  • Заключение
  • Приложение: горизонтальная композиция в Prof

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google photo

Для комментария используется ваша учётная запись Google. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s