Polyad - Polyad

V matematice polyad je pojem teorie kategorií představil Jean Bénabou generalizovat monády.[1] A polyad v dvoukategorie D je morfismus dvou kategorií Φ z místně přesné kategorie C na D, Φ : CD. (Bikategorie C se nazývá místně přesný, pokud všechny hom-kategorie C(X,Y) skládají se pouze z jednoho objektu a jednoho morfismu.) Monády jsou polyády Φ : CD kde C má pouze jeden objekt.

Poznámky

  1. ^ Benabou, Jean (1967), Úvod do dvoukategorií

Bibliografie

  • Ulice, Ross (1983), Obohatené kategorie a kohomologie