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