Поляда - Polyad

В математике полиада это концепция теория категорий представлен Жан Бенабу в обобщении монады.[1] А полиада в бикатегория D является морфизмом бикатегории Φ из местной пунктуальной бикатегории C к D, Φ : CD. (Бикатегория C называется локально пунктуальным, если все hom-категории C(Икс,Y) состоят только из одного объекта и одного морфизма.) Монады - это полиады. Φ : CD куда C имеет только один объект.

Примечания

  1. ^ Бенабу, Жан (1967), Введение в бикатегории

Библиография

  • Улица, Росс (1983), Обогащенные категории и когомологии