Полиада
В математике полиада — это концепция теории категорий, введенная Жаном Бенабу при обобщении монад . [1] Полиада бикатегории в D Φ это морфизм бикатегории Φ пунктуальной бикатегории C в D , → : C — D. из локально (Бикатегория C называется локально пунктуальной, если все ом-категории C ( X , Y ) состоят из одного объекта и только одного морфизма.) Монады — это полиады Φ : C → D , где C имеет только один объект.
Примечания [ править ]
- ^ Бенабу, Жан (1967), Введение в бикатегории
Библиография [ править ]
- Стрит, Росс (1983), Расширенные категории и когомологии