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