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

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

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

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

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