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, Φ : C → D. (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 Φ : C → D kde C má pouze jeden objekt.
Poznámky
- ^ Benabou, Jean (1967), Úvod do dvoukategorií
Bibliografie
- Ulice, Ross (1983), Obohatené kategorie a kohomologie
![]() | Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |